Jon Ross-Perkins
|
a2ba7f1262
Have Specific track whether regions contain errors (#6982)
|
1 mês atrás |
Dana Jansens
|
917a6ea971
Add an interface-with-self generic to each interface and same for constraints (#6667)
|
2 meses atrás |
Jon Ross-Perkins
|
55da026a46
Remove the SemIRLoc typedef (#5299)
|
1 ano atrás |
Richard Smith
|
bfef32b482
Add an `EvalOrAddInst` function. (#5258)
|
1 ano atrás |
Richard Smith
|
0631e18184
Provide an `InstId` when evaluating a constant in cases where one is needed (#5202)
|
1 ano atrás |
Richard Smith
|
8b9f1a8966
Don't re-evaluate imported constants. (#5217)
|
1 ano atrás |
Dana Jansens
|
53c98a8619
Support specialization in impl lookup with a symbolic query/impl. (#5169)
|
1 ano atrás |
Richard Smith
|
758b6c42ba
Produce a note indicating where the specific was used from if monomorphization fails. (#4662)
|
1 ano atrás |
Richard Smith
|
3cb769a053
Rename "generic instance" to "specific" throughout the toolchain. (#4165)
|
1 ano atrás |
Richard Smith
|
efea072be3
Compute specific constant values. (#4128)
|
1 ano atrás |
Richard Smith
|
a3154356f0
Distinguish between template constants and symbolic constants. (#3595)
|
2 anos atrás |
Richard Smith
|
7553d864e1
Very basic support for constant evaluation of expressions. (#3581)
|
2 anos atrás |