about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis
AgeCommit message (Expand)AuthorLines
2023-11-08Only use normalize_param_env when normalizing predicate in check_item_boundsMichael Goulet-2/+8
2023-11-06check binders with bound vars for global bounds that don't holdRémy Rakic-1/+2
2023-11-04Auto merge of #117540 - matthiaskrgr:baby_dont_clone_me_dont_clone_me_no_more...bors-1/+1
2023-11-03Auto merge of #117507 - nnethercote:rustc_span, r=Nilstriebbors-3/+2
2023-11-03clone lessMatthias Krüger-1/+1
2023-11-02Add all RPITITs when augmenting param-env with GAT bounds in check_type_boundsMichael Goulet-77/+103
2023-11-02Use the normalizing param-env always in check_type_boundsMichael Goulet-123/+143
2023-11-02Minimize `pub` usage in `source_map.rs`.Nicholas Nethercote-3/+2
2023-10-31Rollup merge of #117416 - compiler-errors:tait-in-bad-body, r=oli-obkMatthias Krüger-3/+11
2023-10-30Auto merge of #116405 - estebank:issue-103155, r=davidtwcobors-10/+41
2023-10-30Sort errorsEsteban Küber-4/+6
2023-10-30Detect object safety errors when assoc type is missingEsteban Küber-11/+40
2023-10-30Auto merge of #117415 - matthiaskrgr:rollup-jr2p1t2, r=matthiaskrgrbors-40/+54
2023-10-30Also consider TAIT to be uncomputable if the MIR body is taintedMichael Goulet-3/+11
2023-10-30Rollup merge of #117411 - oli-obk:query_merge_immobile_game, r=compiler-error...Matthias Krüger-27/+32
2023-10-30Improve some diagnostics around `?Trait` boundsOli Scherer-27/+32
2023-10-30Poison check_well_formed if method receivers are invalid to prevent typeck fr...Oli Scherer-13/+22
2023-10-30Clean up `rustc_*/Cargo.toml`.Nicholas Nethercote-10/+12
2023-10-26Auto merge of #117171 - fee1-dead-contrib:deny-explicit-effect-params, r=oli-obkbors-3/+13
2023-10-26Deny providing explicit effect paramsDeadbeef-3/+13
2023-10-25Rollup merge of #116553 - gurry:116464-assoc-type-invalid-suggestion, r=compi...Matthias Krüger-13/+57
2023-10-25Auto merge of #117180 - matthiaskrgr:rollup-rxhl6ep, r=matthiaskrgrbors-3/+11
2023-10-25Rollup merge of #117133 - compiler-errors:coherence-constrained, r=oli-obkMatthias Krüger-6/+3
2023-10-25Work around the fact that `check_mod_type_wf` may spuriously return `ErrorGua...Oli Scherer-3/+11
2023-10-25Do not suggest 'Trait<Assoc=arg>' when in trait implGurinder Singh-14/+58
2023-10-24Merge impl_wf_inference into coherence checkingMichael Goulet-6/+3
2023-10-24Migrate diagnostics in `rustc_hir_analysis/src/coherence/orphan.rs`Obei Sideg-163/+341
2023-10-23Let's see what those opaque types actually areMichael Goulet-7/+37
2023-10-23Auto merge of #116849 - oli-obk:error_shenanigans, r=cjgillotbors-110/+126
2023-10-23Allow `ensure` queries to return `Result<(), ErrorGuaranteed>`Oli Scherer-5/+5
2023-10-21Rollup merge of #116995 - estebank:issue-69944, r=compiler-errorsMatthias Krüger-19/+5
2023-10-20Point at assoc fn definition on type param divergenceEsteban Küber-19/+5
2023-10-20s/generator/coroutine/Oli Scherer-16/+16
2023-10-20s/Generator/Coroutine/Oli Scherer-11/+11
2023-10-20Adjust importsMichael Goulet-1/+1
2023-10-20Avoid a `track_errors` by bubbling up most errors from `check_well_formed`Oli Scherer-110/+126
2023-10-18Auto merge of #116887 - lcnr:alias-ty-constructor, r=compiler-errorsbors-5/+5
2023-10-18AliasTy::new instead of tcx methodlcnr-5/+5
2023-10-18Rollup merge of #116870 - compiler-errors:host-param-by-name, r=fee1-deadAli MJ Al-Nasrawy-4/+5
2023-10-18Don't compare host param by nameMichael Goulet-4/+5
2023-10-17Unify suggestion wordingEsteban Küber-2/+2
2023-10-17Auto merge of #116756 - fee1-dead-contrib:dupe-those-bounds, r=oli-obkbors-6/+92
2023-10-16Rollup merge of #116800 - compiler-errors:rpitit-gat-outlives, r=jackh726Guillaume Gomez-33/+27
2023-10-16Rollup merge of #116257 - estebank:issue-101351, r=b-naberMatthias Krüger-15/+63
2023-10-16Fix outlives suggestion for GAT in RPITITMichael Goulet-33/+27
2023-10-15Auto merge of #116688 - compiler-errors:rustfmt-up, r=WaffleLapkin,Nilstriebbors-169/+237
2023-10-15Duplicate `~const` bounds with a non-const one in effects desugaringDeadbeef-6/+92
2023-10-14Rollup merge of #116695 - fee1-dead-contrib:fix-cmt, r=compiler-errorsMatthias Krüger-1/+1
2023-10-13Stabilize AFIT and RPITITMichael Goulet-5/+3
2023-10-13Tweak wordingEsteban Küber-1/+2