bors 1ca424ca43 Auto merge of #122341 - compiler-errors:alias-wfness, r=lcnr ... Consolidate WF for aliases Make RPITs/TAITs/weak (type) aliases/projections all enforce: 1. their nominal predicates 2. their args are WF This possibly does extra work, but is also nice for consistency sake. r? lcnr		2024-03-15 19:19:35 +00:00
..
solve	Rollup merge of #122238 - fee1-dead-contrib:builtin-impl-next-solver-dox, r=lcnr	2024-03-14 15:44:32 +01:00
traits	Auto merge of #122341 - compiler-errors:alias-wfness, r=lcnr	2024-03-15 19:19:35 +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