Michael Goulet 357665dae9 Simplify fulfill_implication

2024-11-22 01:03:17 +00:00

..

check

Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-dead

2024-11-21 07:56:13 +01:00

coherence

Make PointerLike opt-in as a trait

2024-11-20 16:36:12 +00:00

collect

Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-dead

2024-11-21 07:56:13 +01:00

errors

Clarify implicit captures for RPITIT

2024-10-10 11:46:51 -07:00

hir_ty_lowering

we should not be reporting generic error if there is not a segment to deny

2024-11-20 18:57:02 +00:00

impl_wf_check

Simplify fulfill_implication

2024-11-22 01:03:17 +00:00

outlives

Implement const effect predicate in new solver

2024-10-24 09:46:36 +00:00

variance

Add variances to RPITITs

2024-10-10 11:46:48 -07:00

autoderef.rs

Swap Vec<PredicateObligation> to type alias

2024-10-12 15:17:08 +01:00

bounds.rs

Merge HostPolarity and BoundConstness

2024-10-30 16:23:16 +00:00

check_unused.rs

Remove #[macro_use] extern crate tracing from rustc_hir_analysis.

2024-08-30 17:14:59 +10:00

collect.rs

Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-dead

2024-11-21 07:56:13 +01:00

constrained_generic_params.rs

Remove #[macro_use] extern crate tracing from rustc_hir_analysis.

2024-08-30 17:14:59 +10:00

delegation.rs

Effects cleanup

2024-10-26 10:19:07 +08:00

errors.rs

Check use<..> in RPITIT for refinement

2024-11-18 00:27:44 +00:00

hir_wf_check.rs

TypingMode 🤔

2024-10-29 17:01:24 +01:00

impl_wf_check.rs

nightly feature tracking: get rid of the per-feature bool fields

2024-10-23 09:14:41 +01:00

lib.rs

Auto merge of #133212 - lcnr:questionable-uwu, r=compiler-errors

2024-11-20 06:22:01 +00:00