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