Oli Scherer adda9da604 Avoid various uses of Option<Span> in favor of using DUMMY_SP in the few cases that used None		2024-03-18 09:34:08 +00:00
..
solve	Avoid various uses of Option<Span> in favor of using DUMMY_SP in the few cases that used None	2024-03-18 09:34:08 +00:00
traits	Avoid various uses of Option<Span> in favor of using DUMMY_SP in the few cases that used None	2024-03-18 09:34:08 +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