about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis
AgeCommit message (Expand)AuthorLines
2023-07-23fix clippy::useless_formatMatthias Krüger-1/+1
2023-07-22Rollup merge of #113950 - cjgillot:clean-resolve, r=jackh726Matthias Krüger-38/+21
2023-07-22Remove Scope::Elision.Camille GILLOT-38/+21
2023-07-21error/E0691: include alignment in error messageDavid Rheinsberg-10/+19
2023-07-20Auto merge of #113546 - cjgillot:unused-query, r=compiler-errorsbors-3/+9
2023-07-20XSimplifiedType to SimplifiedType::Xlcnr-5/+5
2023-07-20Rollup merge of #113795 - compiler-errors:doc, r=spastorinoMatthias Krüger-1/+1
2023-07-19Make it clearer that edition functions are >=, not ==Michael Goulet-1/+1
2023-07-17Rename arg_iter to iter_instantiatedMichael Goulet-5/+5
2023-07-17Properly document lifetime_mapping in OpaqueTyMichael Goulet-1/+1
2023-07-16Querify unused trait check.Camille GILLOT-3/+9
2023-07-15Check entry type as part of item type checking.Camille GILLOT-269/+284
2023-07-14Rollup merge of #113698 - compiler-errors:rpitit-check, r=spastorinoMatthias Krüger-6/+6
2023-07-14Make it clearer that we're just checking for an RPITITMichael Goulet-6/+6
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-525/+536
2023-07-14Introduce ExtentUnord trait for collections that can safely consume UnordItems.Michael Woerister-1/+1
2023-07-14Auto merge of #113519 - SparrowLii:parallel_typeck, r=cjgillotbors-0/+16
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-90/+118
2023-07-11typeck in parallelSparrowLii-0/+16
2023-07-08Replace RPITIT current impl with new strategy that lowers as a GATSantiago Pastorino-48/+7
2023-07-08Auto merge of #113474 - compiler-errors:rollup-07x1up7, r=compiler-errorsbors-13/+26
2023-07-07Rollup merge of #113456 - spastorino:new-rpitit-31, r=compiler-errorsMichael Goulet-2/+11
2023-07-07Rollup merge of #113427 - compiler-errors:no-variances-of-rpitit-gat, r=spast...Michael Goulet-9/+3
2023-07-08Auto merge of #112652 - oli-obk:tait_only_in_sig, r=compiler-errorsbors-1/+23
2023-07-07Don't ICE in resolve_bound_vars when associated return-type bounds are in bad...Michael Goulet-2/+12
2023-07-07Avoid calling report_forbidden_specialization for RPITITsSantiago Pastorino-2/+11
2023-07-07Auto merge of #113245 - lukas-code:unsizing-sanity-check, r=the8472bors-1/+1
2023-07-07Require TAITs to be mentioned in the signatures of functions that register hi...Oli Scherer-1/+23
2023-07-07Remove variances_of on RPITIT gats, remove its one use-caseMichael Goulet-9/+3
2023-07-06Do not assert >1 RPITITs on collect_return_position_impl_trait_in_trait_tysSantiago Pastorino-5/+7
2023-07-06add helper methods for accessing struct tailLukas Markeffsky-1/+1
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-199/+239
2023-07-05Auto merge of #113210 - fee1-dead-contrib:effects-mvp, r=oli-obkbors-5/+25
2023-07-05Only use a single loop over the associated typesOli Scherer-5/+2
2023-07-05Prefer `retain` over hand-rolling an inefficient version of itOli Scherer-7/+3
2023-07-05tidy: move a large function out of an even larger fileOli Scherer-406/+418
2023-07-05Lint now-unnecessary associated type boundsOli Scherer-4/+35
2023-07-05Don't require associated types with `Self: Sized` bounds in `dyn Trait` objectsOli Scherer-0/+10
2023-07-04include `host_effect_index` in `Generics`Deadbeef-5/+21
2023-07-04Replace `const_error` methods with `Const::new_error`Boxy-11/+11
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-13/+15
2023-07-04add testDeadbeef-2/+6
2023-07-04Auto merge of #113303 - compiler-errors:yeet-chalk, r=lcnrbors-6/+3
2023-07-04Auto merge of #113215 - compiler-errors:rpitit-predicates-tweaks, r=spastorinobors-3/+16
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-6/+3
2023-07-03Rollup merge of #113286 - fmease:iat-dont-select-if-not-enabled, r=compiler-e...Guillaume Gomez-5/+9
2023-07-03Don't perform selection if IATs are not enabledLeón Orell Valerian Liehr-5/+9
2023-07-03use `deeply_normalize` for `assumed_wf_types`lcnr-21/+27
2023-07-01Rollup merge of #113182 - compiler-errors:rpit-stricter-captures, r=oli-obkMatthias Krüger-32/+116
2023-07-01Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errorsbors-3/+3