josh11b
|
6dbeda612a
`where` check stage, step 3: some type checking (#4364)
|
1 год назад |
Richard Smith
|
4ca711c175
When converting an expression to type `type`, retain the resulting instruction as well as the `TypeId`. (#4355)
|
1 год назад |
josh11b
|
bdbd1079a6
`where` check stage, step 2: SemIR (#4349)
|
1 год назад |
Richard Smith
|
7f22a289b9
Push a generic region when handling a `where` expression. (#4340)
|
1 год назад |
josh11b
|
49a8efbe1b
`where` check stage, step 1: designators (#4329)
|
1 год назад |
josh11b
|
d6b2fb1736
Add parse support for multiple requirements after `where` separated by `and` (#4298)
|
1 год назад |
josh11b
|
c33c9a02f6
Parse support for `where` operator (#4275)
|
1 год назад |
josh11b
|
702d0d8a53
Parsing of designators like `.x` or `.Self` (#4254)
|
1 год назад |