Michael Goulet 127e42d33b Use != Positive rather than == Negative ...

Feels more complete, and for ImplPolarity has the side-effect of making
sure we also handle reservation impls correctly

2024-03-22 11:16:57 -04:00

..

error_reporting

Rename DiagnosticBuilder as Diag.

2024-02-28 08:55:35 +11:00

engine.rs

Nits

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

mod.rs

Split out ImplPolarity and PredicatePolarity

2024-03-22 11:16:56 -04:00

project.rs

move snapshot handling into mod

2024-03-07 15:39:30 +01:00

structural_impls.rs

Convert TypeVisitor and DefIdVisitor to use VisitorResult

2024-03-05 13:28:15 -05:00

util.rs

Use != Positive rather than == Negative

2024-03-22 11:16:57 -04:00