about summary refs log tree commit diff
path: root/compiler/rustc_hir_analysis/src/collect
AgeCommit message (Expand)AuthorLines
2023-06-02Separate AnonConst from ConstBlock in HIR.Camille GILLOT-21/+15
2023-06-02Rollup merge of #112165 - fee1-dead-contrib:rn-defualtness, r=compiler-errorsMatthias Krüger-1/+1
2023-06-01Rename `impl_defaultness` to `defaultness`Deadbeef-1/+1
2023-06-01Rollup merge of #111980 - compiler-errors:unmapped-substs, r=lcnrDylan DPC-33/+78
2023-05-31Check that RPITs are compatible with the opaques inferred during HIR typeck tooMichael Goulet-29/+36
2023-05-30Rollup merge of #112060 - lcnr:early-binder, r=jackh726Nilstrieb-4/+4
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-5/+8
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-4/+4
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-4/+4
2023-05-26Wait until type_of to remap HIR opaques back to their defn paramsMichael Goulet-28/+66
2023-05-24Split out opaque from type_ofMichael Goulet-305/+303
2023-05-24Rollup merge of #111861 - compiler-errors:rtn-in-super, r=jackh726Matthias Krüger-0/+2
2023-05-23Don't ICE on RPITIT when promoting trait preds to associated type boundsMichael Goulet-0/+2
2023-05-22Check opaques for mismatch during writebackMichael Goulet-4/+5
2023-05-16Avoid `&format("...")` calls in error message code.Nicholas Nethercote-6/+6
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-2/+3
2023-05-12Require `impl Trait` in associated types to appear in method signaturesOli Scherer-7/+12
2023-05-09Rollup merge of #111215 - BoxyUwU:resolve_anon_consts_differently, r=cjgillotMatthias Krüger-14/+17
2023-05-08Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errorsMichael Goulet-2/+2
2023-05-08Rollup merge of #111211 - compiler-errors:negative-bounds-super, r=TaKO8KiYuki Okushi-5/+6
2023-05-08Auto merge of #106621 - ozkanonur:enable-elided-lifetimes-for-doctests, r=Mar...bors-1/+1
2023-05-07enable `rust_2018_idioms` for doctestsozkanonur-1/+1
2023-05-05misc nameres changes for anon constsBoxy-14/+17
2023-05-04Don't compute trait super bounds unless they're positiveMichael Goulet-5/+6
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-2/+2
2023-05-03Rename things to reflect that they're not item specificMichael Goulet-6/+6
2023-05-03Support RTN on associated methods from supertraitsMichael Goulet-21/+31
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-5/+5
2023-05-01Don't use implied trait predicates in gather_explicit_predicates_ofMichael Goulet-6/+11
2023-05-01Do not consider associated type bounds for super_predicates_that_define_assoc...Michael Goulet-10/+14
2023-05-01Simplify type_parameter_bounds_in_genericsMichael Goulet-42/+28
2023-04-26Rollup merge of #108760 - clubby789:autolintstuff, r=wesleywiserMatthias Krüger-7/+3
2023-04-25Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com...Matthias Krüger-10/+12
2023-04-25Fix static string lintsclubby789-7/+3
2023-04-20add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite...Kyle Matsuda-6/+7
2023-04-20change usages of explicit_item_bounds to bound_explicit_item_boundsKyle Matsuda-5/+6
2023-04-20Remove opt_const_param_of.Camille GILLOT-158/+94
2023-04-20Remove WithOptconstParam.Camille GILLOT-1/+0
2023-04-19Rollup merge of #110498 - kylematsuda:earlybinder-rpitit-tys, r=compiler-errorsMatthias Krüger-1/+1
2023-04-18add EarlyBinder to return type of collect_return_position_impl_trait_in_trait...Kyle Matsuda-1/+1
2023-04-17Spelling - compilerJosh Soref-1/+1
2023-04-15fix clippy::{clone_on_copy, useless_conversion}Matthias Krüger-3/+2
2023-04-13Remove some unused type folders.Nicholas Nethercote-26/+1
2023-04-11Split implied and super predicate queriesMichael Goulet-32/+81
2023-04-11Split super_predicates_that_define_assoc_type query from super_predicates_ofMichael Goulet-2/+1
2023-04-06Make elaborator genericMichael Goulet-1/+1
2023-03-28Add `(..)` syntax for RTNMichael Goulet-2/+2
2023-03-28Compute bound vars correctlyMichael Goulet-1/+53
2023-03-26Don't elaborate non-obligations into obligationsMichael Goulet-7/+4
2023-03-23Rollup merge of #109280 - compiler-errors:no-vec-map, r=Mark-SimulacrumDylan DPC-1/+1