about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty
AgeCommit message (Expand)AuthorLines
2023-03-15Make impl_trait_in_trait_container consider newly generated RPITITsSantiago Pastorino-4/+10
2023-03-15Rename impl_trait_in_trait_parent to impl_trait_in_trait_parent_fnSantiago Pastorino-2/+2
2023-03-15Auto merge of #109089 - compiler-errors:opt_rpitit_info-follow-up, r=spastorinobors-0/+1
2023-03-14Don't make projection tys out of anon constsMichael Goulet-1/+1
2023-03-14Assert def-kind is correct for alias typesMichael Goulet-0/+7
2023-03-14Encode opt_rpitit_info for associated typesMichael Goulet-0/+1
2023-03-14Rollup merge of #109101 - compiler-errors:layout-err, r=michaelwoeristerMatthias Krüger-1/+5
2023-03-14Auto merge of #109057 - compiler-errors:rpitit-info-again, r=spastorinobors-2/+20
2023-03-13Layout of `&dyn Trait<[type error]>` is still wideMichael Goulet-1/+5
2023-03-13Don't opt_rpitit_info as a separate queryMichael Goulet-2/+20
2023-03-13Better names?Michael Goulet-20/+23
2023-03-13Treat projections with infer as placeholder during fast reject in new solverMichael Goulet-40/+83
2023-03-12Auto merge of #108820 - cjgillot:ensure-on-disk, r=oli-obkbors-1/+39
2023-03-12Rollup merge of #109017 - klensy:dupe, r=cjgillotMatthias Krüger-6/+2
2023-03-12Auto merge of #108700 - spastorino:new-rpitit-impl-side-2, r=compiler-errorsbors-0/+12
2023-03-11Make the check for cache opt-in.Camille GILLOT-1/+39
2023-03-11Rollup merge of #108806 - cjgillot:query-lints, r=davidtwcoMatthias Krüger-3/+6
2023-03-11Rollup merge of #108690 - Zoxc:query-size-limits, r=cjgillotMatthias Krüger-0/+30
2023-03-11Rollup merge of #108071 - compiler-errors:new-solver-caching, r=lcnrMatthias Krüger-0/+5
2023-03-11remove duplicated calls to sort_stringklensy-6/+2
2023-03-10Actually cache goalsMichael Goulet-0/+5
2023-03-10Rollup merge of #108947 - compiler-errors:ct-infer-no-shapeshifting, r=BoxyUwUMatthias Krüger-3/+6
2023-03-10Rollup merge of #108828 - compiler-errors:new-solver-alias-eq-on-num-var, r=lcnrMatthias Krüger-1/+1
2023-03-09Use param's real type in try_eval_lit_or_paramMichael Goulet-3/+6
2023-03-09Emit alias-eq when equating numeric var and projectionMichael Goulet-1/+1
2023-03-09Rollup merge of #108294 - compiler-errors:arbitary-sugg-binder, r=TaKO8KiMatthias Krüger-2/+2
2023-03-08Auto merge of #108312 - michaelwoerister:hash-set-not-hash-stable, r=eholkbors-3/+8
2023-03-06Add is_impl_trait_in_traitSantiago Pastorino-0/+8
2023-03-06Place binder correctly for arbitrary trait bound suggestionMichael Goulet-2/+2
2023-03-06Add tcx::lower_impl_trait_in_trait_to_assoc_ty to avoid accessing through ses...Santiago Pastorino-0/+4
2023-03-06Querify early_lint_checks.Camille GILLOT-0/+5
2023-03-06Querify registered_tools.Camille GILLOT-3/+1
2023-03-05Rollup merge of #108770 - GuillaumeGomez:improve-doc-and-naming, r=cjgillotMatthias Krüger-13/+20
2023-03-05Improve documentation and argument naming of some TyCtxt methodsGuillaume Gomez-13/+20
2023-03-05Auto merge of #108351 - petrochenkov:rmdit, r=cjgillotbors-33/+28
2023-03-04Auto merge of #108732 - Dylan-DPC:rollup-dy1l8sx, r=Dylan-DPCbors-3/+7
2023-03-04Rollup merge of #108669 - Nilstrieb:query-my-uninitness, r=compiler-errorsDylan DPC-1/+6
2023-03-04Rollup merge of #108405 - Nilstrieb:lazy-crate-name-optimization-fuel, r=Waff...Dylan DPC-2/+1
2023-03-04Auto merge of #108689 - compiler-errors:normalization-error-smaller, r=lcnrbors-3/+0
2023-03-04Place size limits on query keys and valuesJohn Kåre Alsaker-0/+30
2023-03-03Rollup merge of #108694 - est31:backticks_matchmaking_comments, r=NilstriebMatthias Krüger-7/+7
2023-03-03Rollup merge of #108685 - est31:backticks_matchmaking, r=petrochenkovMatthias Krüger-1/+1
2023-03-03canonicalizationlcnr-0/+9
2023-03-03Match end user facing unmatched backticks in compiler/est31-1/+1
2023-03-03Match unmatched backticks in comments in compiler/est31-3/+3
2023-03-03Match unmatched backticks in compiler/ that are part of rustdocest31-4/+4
2023-03-03Remove NormalizationError::ConstantKindMichael Goulet-3/+0
2023-03-02rustc_middle: Remove trait `DefIdTree`Vadim Petrochenkov-33/+28
2023-03-02Allow checking whether a type allows being uninitializedNilstrieb-1/+6
2023-03-01Add opt_rpitit_info querySantiago Pastorino-0/+6