Michael Goulet
|
44040a0670
|
Also passthrough for projection clauses
|
2024-06-12 19:10:02 -04:00 |
|
Michael Goulet
|
3e03b1b190
|
Use a proof tree visitor to refine the Obligation for error reporting
|
2024-05-02 21:56:14 -04:00 |
|
Michael Goulet
|
383051092f
|
Ignore tests w/ current/next revisions from compare-mode=next-solver
|
2024-03-10 21:18:41 -04:00 |
|
Michael Goulet
|
8dd4e2b5ca
|
Add some new solver tests
|
2024-03-08 15:54:04 +00:00 |
|
许杰友 Jieyou Xu (Joe)
|
ec2cc761bc
|
[AUTO-GENERATED] Migrate ui tests from // to //@ directives
|
2024-02-16 20:02:50 +00:00 |
|
lcnr
|
5051637979
|
hide impls if trait bound is proven from env
|
2024-02-09 12:41:39 +01:00 |
|