Nilstrieb
|
41e8d152dc
|
Show number in error message even for one error
Co-authored-by: Adrian <adrian.iosdev@gmail.com>
|
2023-11-24 19:15:52 +01:00 |
|
Michael Goulet
|
13e8b13e15
|
Handle Self in paths too
|
2023-08-25 19:05:38 +00:00 |
|
Esteban Küber
|
5ae8e23816
|
Mention fn coercion rules (needs to be expanded)
|
2023-01-30 21:51:33 +00:00 |
|
Michael Goulet
|
9a39d7e441
|
Note predicate span on ImplDerivedObligation
|
2023-01-11 19:46:45 +00:00 |
|
Albert Larsan
|
cf2dff2b1e
|
Move /src/test to /tests
|
2023-01-11 09:32:08 +00:00 |
|