Dana Jansens
|
46bb0fecd4
Properly diagnose ambiguous `.Self` in `T impls X where...` (#7132)
|
há 1 dia atrás |
Geoff Romer
|
4c9049346d
Replace form insts with actions (#7100)
|
há 3 dias atrás |
Dana Jansens
|
554b1b8d10
Remove SymbolicBindingType (#7114)
|
há 5 dias atrás |
Dana Jansens
|
d9841992cb
Replace .Self in facet types (#7097)
|
há 1 semana atrás |
Dana Jansens
|
9c9f5cb52c
Preserve named constraints across `where` (#7104)
|
há 1 semana atrás |
Geoff Romer
|
ad0a4ea8a4
Restructure action-dependence APIs (#7074)
|
há 2 semanas atrás |
Dana Jansens
|
cc5a42691e
Add `where T impls X` constraints into the FacetTypeInfo (#7038)
|
há 3 semanas atrás |
Dana Jansens
|
d1dc8e820d
Resolve the specific definition for a function that is evaluated (#7034)
|
há 3 semanas atrás |
Dana Jansens
|
f483a28f2f
Refactor WhereExpr evaluation into smaller helper functions (#7006)
|
há 3 semanas atrás |
Dana Jansens
|
451b50a3ad
Add storage for `<type> impls <facettype>` in the FacetTypeInfo (#7005)
|
há 1 mês atrás |
Nicholas Bishop
|
0075d530b9
Support const eval when calling a C++ thunk (#6947)
|
há 1 mês atrás |
Dana Jansens
|
17180558e5
Diagnose `where` clause without a designator (#6995)
|
há 1 mês atrás |
Nicholas Bishop
|
bf6a14ac39
Support `Temporary` constants (#6983)
|
há 1 mês atrás |
Jon Ross-Perkins
|
a2ba7f1262
Have Specific track whether regions contain errors (#6982)
|
há 1 mês atrás |
Richard Smith
|
965879a9a9
Support for in-place return in `eval fn`. (#6954)
|
há 1 mês atrás |
Dana Jansens
|
17657d0586
CHECK if a SymbolicOnly instruction produces a concrete value of the same inst type (#6938)
|
há 1 mês atrás |
Richard Smith
|
ce50f181f1
Add an interface for initialization of `var`s without an explicit initializer (#6934)
|
há 1 mês atrás |
Dana Jansens
|
bad9beddc7
Diagnose using named constraint's name inside its definition (#6906)
|
há 1 mês atrás |
Nicholas Bishop
|
c1fd771242
Support calling constexpr functions at compile time (#6878)
|
há 1 mês atrás |
Dana Jansens
|
fbc8d59d32
Introduce Diagnostics::ContextScope and remove diagnoser callbacks in type completion (#6761)
|
há 2 meses atrás |
Geoff Romer
|
6a3529f4b5
Add `Core.Form` to prelude (#6745)
|
há 2 meses atrás |
Richard Smith
|
108277c3f3
Support if expressions in `eval fn`. (#6725)
|
há 2 meses atrás |
Geoff Romer
|
7f29436d4e
Restore the name of GetCompileTimeBindValue. (#6733)
|
há 2 meses atrás |
Richard Smith
|
1b2ae912fc
Add basic support for `eval fn` and `musteval fn`. (#6694)
|
há 2 meses atrás |
Jon Ross-Perkins
|
45ca3d28f5
Drop "diagnostic" from some filenames in the "diagnostics" folder (#6686)
|
há 2 meses atrás |
Richard Smith
|
c0b24047dd
Interop support for initialization via `std::initializer_list`. (#6672)
|
há 3 meses atrás |
Vinicius Silva
|
f42352759f
Adding support for `UInt`-to-`char` conversion (#6425)
|
há 3 meses atrás |
Richard Smith
|
31919afa24
Allow conversion between `T*` and `Cpp.void*`. (#6575)
|
há 3 meses atrás |
Jon Ross-Perkins
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
há 4 meses atrás |
Ammar Alassal
|
a848ae11e4
Added string indexing (#6329)
|
há 4 meses atrás |