about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2023-08-03avoid more `ty::Binder:dummy`lcnr-0/+13
2023-08-02Remove constness from `TraitPredicate`Deadbeef-64/+1
2023-07-31Rollup merge of #114267 - compiler-errors:rpitit-opaque-bounds, r=spastorinoMatthias Krüger-13/+0
2023-07-31Rollup merge of #114169 - lcnr:unsize, r=compiler-errorsMatthias Krüger-0/+12
2023-07-31We don't need impl_trait_in_trait_parent_fn anymoreMichael Goulet-13/+0
2023-07-30inline format!() args up to and including rustc_middleMatthias Krüger-2/+2
2023-07-28refactor builtin unsize handling, extend commentslcnr-0/+12
2023-07-27Remove `constness` from `ParamEnv`Deadbeef-77/+8
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-27/+27
2023-07-14Enable potential_query_instability lint in rustc_hir_typeck.Michael Woerister-2/+1
2023-07-12Re-format let-else per rustfmt updateMark Rousskov-2/+6
2023-07-12Flip cfg's for bootstrap bumpMark Rousskov-1/+1
2023-07-11Auto merge of #112984 - BoxyUwU:debug_with_infcx, r=compiler-errorsbors-0/+1
2023-07-08Replace RPITIT current impl with new strategy that lowers as a GATSantiago Pastorino-21/+3
2023-07-07Auto merge of #113245 - lukas-code:unsizing-sanity-check, r=the8472bors-0/+16
2023-07-06Separate select calls that don't need a binderMichael Goulet-0/+7
2023-07-06add helper methods for accessing struct tailLukas Markeffsky-0/+16
2023-07-06Add a new trait to `Debug` things with an infcx availableBoxy-0/+1
2023-07-05Deal with falloutBoxy-0/+4
2023-07-05move `ConstKind` to typeir and move inherent impls to `Const`Boxy-2/+2
2023-07-03remove TypeWellFormedFromEnvMichael Goulet-13/+4
2023-06-26TypeWellFormedInEnvMichael Goulet-10/+10
2023-06-26Migrate predicates_of and caller_bounds to ClauseMichael Goulet-14/+36
2023-06-22migrate inferred_outlives_of to ClauseMichael Goulet-1/+8
2023-06-22Migrate item_bounds to ty::ClauseMichael Goulet-1/+26
2023-06-19docMichael Goulet-1/+11
2023-06-19Fully fledged Clause typeMichael Goulet-45/+68
2023-06-19s/Clause/ClauseKindMichael Goulet-60/+61
2023-06-18Rollup merge of #112734 - dswij:bounds-predicates-clause, r=compiler-errorsMatthias Krüger-0/+7
2023-06-17Move ConstEvaluatable to ClauseMichael Goulet-9/+7
2023-06-17Move WF goal to clauseMichael Goulet-8/+8
2023-06-17`Bound::predicates` to return `Clause`dswij-0/+7
2023-06-15Make assumption functions in new solver take clauseMichael Goulet-0/+66
2023-05-30Rollup merge of #112060 - lcnr:early-binder, r=jackh726Nilstrieb-1/+1
2023-05-29Rollup merge of #111988 - BoxyUwU:make_tykind_debug_good, r=compiler-errorsMatthias Krüger-1/+1
2023-05-29EarlyBinder::new -> EarlyBinder::bindlcnr-1/+1
2023-05-28Replace EarlyBinder(x) with EarlyBinder::new(x)Kyle Matsuda-1/+1
2023-05-27Add warn-by-default lint for local binding shadowing exported glob re-export ...许杰友 Jieyou Xu (Joe)-1/+1
2023-05-26better `TyKind::Debug`Boxy-1/+1
2023-05-25Remove ExpnKind::Inlined.Camille GILLOT-3/+1
2023-05-25Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu...Michael Goulet-10/+4
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-3/+3
2023-05-22Check opaques for mismatch during writebackMichael Goulet-3/+15
2023-05-19Add extra debug assertions for equality for Adt/Variant/FieldDefMichael Goulet-2/+23
2023-05-17Finish move of query.rsJohn Kåre Alsaker-2/+0
2023-05-15Auto merge of #111221 - compiler-errors:yeet-generalizer, r=lcnrbors-0/+18
2023-05-15yeet ConstInferUnifierMichael Goulet-0/+18
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-2/+4
2023-05-12Add a convenience functionOli Scherer-0/+12
2023-05-12Require `impl Trait` in associated types to appear in method signaturesOli Scherer-1/+1