summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/sty.rs
AgeCommit message (Expand)AuthorLines
2023-03-18Don't eagerly convert principal to stringclubby789-0/+6
2023-01-19even more unify Projection/Opaque in outlives codeAli MJ Al-Nasrawy-2/+17
2023-01-18Rollup merge of #107023 - scottmcm:stop-shouting, r=NilstriebMichael Goulet-1/+1
2023-01-18Rollup merge of #106718 - lcnr:solver-cycles, r=compiler-errorsDylan DPC-11/+0
2023-01-17Stop using `BREAK` & `CONTINUE` in compilerScott McMurray-1/+1
2023-01-18instantiate canonical vars eagerlylcnr-11/+0
2023-01-18Rollup merge of #106747 - yanchen4791:issue-105507-fix, r=estebankMatthias Krüger-0/+7
2023-01-17Add 'static lifetime suggestion when GAT implied 'static requirement from HRTByanchen4791-0/+7
2023-01-17Rollup merge of #106980 - Nilstrieb:_use_mk_manual_debug_impl_instead, r=lcnrMatthias Krüger-1/+1
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-1/+1
2023-01-17Hide `_use_mk_alias_ty_instead` in `<AliasTy as Debug>::fmt`nils-1/+1
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-1/+1
2023-01-15Auto merge of #106742 - compiler-errors:new-solver-make-it-not-ice, r=lcnrbors-2/+88
2023-01-12is_ty_infer -> is_ty_or_numeric_inferMichael Goulet-1/+1
2023-01-12HACK: Handle escaping bound vars from the canonical queryMichael Goulet-2/+88
2022-12-23Rollup merge of #105661 - lcnr:evaluate-new, r=compiler-errorsnils-4/+8
2022-12-19implement the skeleton of the updated trait solverlcnr-4/+8
2022-12-18A few small cleanups for `newtype_index`Nilstrieb-3/+2
2022-12-18Make `#[debug_format]` an attribute in `newtype_index`Nilstrieb-1/+1
2022-12-14Fix rustdocOli Scherer-1/+1
2022-12-14Remove TraitRef::newOli Scherer-15/+3
2022-12-14Prevent the creation of `TraitRef` without dedicated methodsOli Scherer-7/+12
2022-12-14Ensure no one constructs `AliasTy`s themselvesOli Scherer-0/+4
2022-12-14Rename to match similar methodsOli Scherer-1/+1
2022-12-14Guard `AliasTy` creation against passing the wrong number of substsOli Scherer-4/+2
2022-12-13nit: docsMichael Goulet-3/+12
2022-12-13Combine identical alias armsMichael Goulet-8/+8
2022-12-13Combine projection and opaque into aliasMichael Goulet-6/+9
2022-12-13squash OpaqueTy and ProjectionTy into AliasTyMichael Goulet-21/+18
2022-12-13ProjectionTy.item_def_id -> ProjectionTy.def_idMichael Goulet-11/+11
2022-12-13make Opaque have one field: OpaqueTyMichael Goulet-0/+10
2022-12-13Auto merge of #105612 - oli-obk:bind_rustdoc, r=GuillaumeGomezbors-1/+12
2022-12-13Fast path some binder relationsMichael Goulet-2/+2
2022-12-12Avoid trying to normalize unnormalizable typesOli Scherer-1/+4
2022-12-12Round 3: require binders for substsOli Scherer-0/+1
2022-12-12Round 1: add some binders (fails due to losing bound vars and then rebinding ...Oli Scherer-0/+7
2022-12-06Rollup merge of #104898 - oli-obk:group_all_the_things, r=wesleywiserMatthias Krüger-1/+1
2022-12-06Add GenericParamDef::to_error and InternalSubsts::extend_with_errorMichael Goulet-13/+2
2022-12-05Synthesize generics for bad auto traits in dyn typesMichael Goulet-2/+22
2022-11-30Remove TySOli Scherer-1/+1
2022-11-28Rollup merge of #104732 - WaffleLapkin:from_def_idn't, r=compiler-errorsDylan DPC-2/+1
2022-11-27Rollup merge of #104976 - WaffleLapkin:move_comments, r=cjgillotMatthias Krüger-1/+1
2022-11-27Auto merge of #104048 - cjgillot:split-lifetime, r=compiler-errorsbors-1/+3
2022-11-27Prefer doc comments over `//`-comments in compilerMaybe Waffle-1/+1
2022-11-27micro doc fixesMaybe Waffle-2/+1
2022-11-25get rid of to_poly_trait_predicateOli Scherer-17/+0
2022-11-24Use kw::Empty for elided lifetimes in path.Camille GILLOT-1/+3
2022-11-22Use `tcx.require_lang_item` instead of unwrappingMaybe Waffle-1/+2
2022-11-21Stop passing the self-type as a separate argument.Oli Scherer-3/+6
2022-11-21Allow iterators instead of requiring slices that will get turned into iteratorsOli Scherer-3/+3