Burak Emir
|
fdb188ccfd
Implement unused pattern bindings, continued (#6518)
|
2 månader sedan |
Dana Jansens
|
917a6ea971
Add an interface-with-self generic to each interface and same for constraints (#6667)
|
2 månader sedan |
Geoff Romer
|
3c324e4877
Add category to parameter format, and share some code. (#6730)
|
2 månader sedan |
Geoff Romer
|
0e5832d3c2
Model `ref` tags as insts instead of annotations (#6541)
|
3 månader sedan |
Jon Ross-Perkins
|
c5eba90317
Change `Destroy` to use a `CustomWitness` instead of a blanket impl (#6512)
|
4 månader sedan |
Jon Ross-Perkins
|
47e551141f
Change the package namespace to use the package name (#6495)
|
4 månader sedan |
Richard Smith
|
154e4012c4
Include the parent scope when fingerprinting an entity name. (#6473)
|
4 månader sedan |
Geoff Romer
|
2b8fdf3417
Switch the prelude to use `ref` instead of `addr` (#6359)
|
5 månader sedan |
Geoff Romer
|
43ffd721a4
Support `ref` tags on arguments to `ref` params (#6312)
|
5 månader sedan |