about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis
AgeCommit message (Expand)AuthorLines
2023-11-19Rollup merge of #118000 - compiler-errors:placeholder-ty-outlives, r=aliemjayMichael Goulet-0/+4
2023-11-19Rollup merge of #117828 - Nilstrieb:astconv-hashmaps, r=petrochenkovMichael Goulet-10/+6
2023-11-19Make regionck care about placeholders in outlives componentsMichael Goulet-0/+4
2023-11-19Don't sort `span_suggestions`, leave that to callerEsteban Küber-1/+5
2023-11-19Avoid iterating over hashmaps in astconvNilstrieb-10/+6
2023-11-18Auto merge of #117525 - GKFX:remove_option_payload_ptr, r=petrochenkovbors-19/+0
2023-11-17rename bound region instantiationlcnr-1/+1
2023-11-17replace unnecessary folder impls with fold_regionlcnr-24/+8
2023-11-16Remove option_payload_ptr; redundant to offset_ofGeorge Bateman-19/+0
2023-11-15Re-format code with new rustfmtMark Rousskov-17/+13
2023-11-15Bump cfg(bootstrap)sMark Rousskov-3/+3
2023-11-14finish `RegionKind` renamelcnr-35/+34
2023-11-13Auto merge of #117881 - TaKO8Ki:rollup-n7jtmgj, r=TaKO8Kibors-3/+2
2023-11-14Rollup merge of #117830 - Nilstrieb:object-lifetime-default-nits, r=cjgillotTakayuki Maeda-3/+2
2023-11-13Auto merge of #117876 - lcnr:region-kind-rename, r=BoxyUwUbors-19/+21
2023-11-13rename `ReLateBound` to `ReBound`lcnr-19/+21
2023-11-13Turn assert_eq into a delay_span_bugMu001999-1/+7
2023-11-12Small improvements in object lifetime default codeNilstrieb-3/+2
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