Oli Scherer 7348dd1950 Eliminate DefiningAnchor::Error, it is indistinguishable from DefiningAnchor::Bind with an empty list

2024-03-11 17:19:37 +00:00

..

solve

Eliminate DefiningAnchor::Error, it is indistinguishable from DefiningAnchor::Bind with an empty list

2024-03-11 17:19:37 +00:00

traits

Make DefiningAnchor::Bind only store the opaque types that may be constrained, instead of the current infcx root item.

2024-03-11 17:19:37 +00:00

errors.rs

Rename AddToDiagnostic as Subdiagnostic.

2024-03-11 10:04:49 +11:00

infer.rs

Move trait into attr so it's greppable

2024-02-16 15:07:37 +00:00

lib.rs

Convert ProofTreeVisitor to use VisitorResult

2024-03-05 13:30:49 -05:00

regions.rs

Move trait into attr so it's greppable

2024-02-16 15:07:37 +00:00