summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/context.rs
AgeCommit message (Expand)AuthorLines
2023-07-05Change comment on `TyCtxt::mk_ty_from_kind`Michael Goulet-1/+1
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-375/+21
2023-07-05Auto merge of #113370 - compiler-errors:rollup-8gvyy8e, r=compiler-errorsbors-0/+8
2023-07-05Auto merge of #113210 - fee1-dead-contrib:effects-mvp, r=oli-obkbors-0/+10
2023-07-05move `ConstKind` to typeir and move inherent impls to `Const`Boxy-0/+8
2023-07-04Replace `const_error` methods with `Const::new_error`Boxy-28/+0
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-12/+12
2023-07-04enforce context effects in typeckDeadbeef-0/+10
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-25/+5
2023-06-23Auto merge of #112891 - oli-obk:impl_trait_in_assoc_tys_cleanup, r=compiler-e...bors-0/+6
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-5/+24
2023-06-22Move `opaque_type_origin_unchecked` onto `TyCtxt` and re-use it where it was ...Oli Scherer-0/+6
2023-06-19s/Clause/ClauseKindMichael Goulet-2/+2
2023-06-16Add `AliasKind::Weak` for type aliases.Oli Scherer-0/+1
2023-06-06Add -Ztrait-solver=next-coherenceMichael Goulet-0/+8
2023-06-06New trait solver is a property of inference contextMichael Goulet-1/+1
2023-06-02No more TyCtxt::lazy_normalizationMichael Goulet-9/+0
2023-06-02Rollup merge of #112189 - compiler-errors:bad-gen, r=cjgillotMatthias Krüger-4/+14
2023-06-02Improve comments on `TyCtxt` and `GlobalCtxt`.Nicholas Nethercote-0/+12
2023-06-01Assert that closures and generators are made with the right number of substit...Michael Goulet-4/+14
2023-05-31Remove const eval limit and implement an exponential backoff lint insteadOli Scherer-10/+0
2023-05-30Auto merge of #112075 - WaffleLapkin:unmkII, r=lcnrbors-90/+3
2023-05-29Rollup merge of #111988 - BoxyUwU:make_tykind_debug_good, r=compiler-errorsMatthias Krüger-0/+10
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-90/+3
2023-05-29Use `Cow` in `{D,Subd}iagnosticMessage`.Nicholas Nethercote-2/+6
2023-05-26better `TyKind::Debug`Boxy-0/+10
2023-05-25Prepopulate opaques in canonical inputMichael Goulet-1/+7
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-2/+2
2023-05-24Rollup merge of #111870 - WaffleLapkin:just_🌟traits🌟_query, r=compiler-...Matthias Krüger-1/+1
2023-05-23Rename `traits_in_crate` query to `traits`Maybe Waffle-1/+1
2023-05-18Rollup merge of #111633 - nnethercote:avoid-ref-format, r=WaffleLapkinDylan DPC-2/+6
2023-05-17Finish move of query.rsJohn Kåre Alsaker-5/+3
2023-05-16Avoid `&format("...")` calls in error message code.Nicholas Nethercote-2/+6
2023-05-15Rollup merge of #111578 - Zoxc:query-macro-move, r=cjgillotMatthias Krüger-1/+2
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+2
2023-05-15Auto merge of #111570 - compiler-errors:ct-err, r=BoxyUwUbors-6/+2
2023-05-14Rename const error methods for consistencyMichael Goulet-6/+2
2023-05-14Auto merge of #108638 - Zoxc:erase-query-values-map, r=cjgillotbors-5/+2
2023-05-13Auto merge of #107586 - SparrowLii:parallel-query, r=cjgillotbors-2/+2
2023-05-08Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errorsMichael Goulet-2/+12
2023-05-08Rollup merge of #110827 - compiler-errors:issue-110761-followup, r=cjgillotDylan DPC-3/+5
2023-05-07Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillotbors-3/+3
2023-05-06introduce `DynSend` and `DynSync` auto traitSparrowLii-2/+2
2023-05-04IAT: Introduce AliasKind::InherentLeón Orell Valerian Liehr-2/+12
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-19/+1
2023-05-03Rename things to reflect that they're not item specificMichael Goulet-8/+3
2023-05-03Support RTN on associated methods from supertraitsMichael Goulet-1/+6
2023-05-02resolve: One more attempt to simplify `module_children`Vadim Petrochenkov-15/+6
2023-04-30Use dynamic dispatch for queriesJohn Kåre Alsaker-5/+2
2023-04-29Auto merge of #109611 - Zoxc:query-engine-rem, r=cjgillotbors-30/+7