Commit Graph

3 Commits

Author SHA1 Message Date
lcnr
d25ecfd5d6 do not constrain infer vars in find_best_leaf_obligation 2024-11-26 11:45:01 +01:00
Michael Goulet
8528387743 Be better at reporting alias errors 2024-10-15 20:42:17 -04:00
Oli Scherer
f5f298dad4 Add more tests 2024-06-19 08:28:31 +00:00