summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/sty.rs
AgeCommit message (Expand)AuthorLines
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
2022-11-21Add a helper for replacing the self type in trait refsOli Scherer-0/+4
2022-11-21Assert that various types have the right amount of generic args and fix the s...Oli Scherer-5/+2
2022-11-19drive-by: PolyExistentialPredicateMichael Goulet-2/+4
2022-11-07Add an optional Span to BrAnon and use it to print better error for HRTB erro...Jack Huey-1/+1
2022-11-03CleanupsBoxy-0/+7
2022-10-14float and int vars are trivially copyMichael Goulet-1/+4
2022-10-05Validate opaques in default trait bodies, don't normalize unless a body is pr...Michael Goulet-1/+1
2022-10-05Fix test for default body with implMichael Goulet-0/+1
2022-09-27rustc_typeck to rustc_hir_analysislcnr-2/+2
2022-09-26address reviewb-naber-1/+1
2022-09-26don't duplicate late-bound region names in print of Binderb-naber-0/+28
2022-09-24Rollup merge of #102152 - compiler-errors:issue-102140, r=fee1-deadMatthias Krüger-3/+7
2022-09-23Rollup merge of #101664 - mejrs:similarity, r=fee1-deadMatthias Krüger-1/+30
2022-09-22Calculate ProjectionTy::trait_def_id correctlyMichael Goulet-3/+7
2022-09-19Incorporate feedbackmejrs-1/+30
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-73/+2
2022-09-19do not implement type traversal for `EarlyBinder`lcnr-0/+4
2022-09-15derive various Lift impl instead of hand rolling themOli Scherer-10/+10
2022-09-12Rename some variantsMichael Goulet-3/+3
2022-09-12Typecheck dyn* coercionsEric Holk-2/+10
2022-09-10Auto merge of #98559 - jackh726:remove-reempty, r=oli-obkbors-7/+1
2022-09-09Lower RPITIT to ImplTraitPlaceholder itemMichael Goulet-1/+4
2022-09-08Remove ReEmptyJack Huey-7/+1
2022-09-01Porting 'compiler/rustc_trait_selection' to translatable diagnostics - Part 1Gabriel Bustamante-0/+6
2022-08-26Suggest returning closure as impl FnMichael Goulet-0/+4
2022-08-17Make same_type_modulo_infer a proper TypeRelationMichael Goulet-0/+4
2022-08-03Change sized_constraints to return EarlyBinderJack Huey-1/+1
2022-08-01Remove DefId from AssocItemContainer.Camille GILLOT-4/+5
2022-07-30Rollup merge of #99900 - lcnr:hash-stable-fun, r=cjgillotDylan DPC-1/+6
2022-07-29remove some manual hash stable implslcnr-1/+6
2022-07-28anonymize all bound vars, not just regionslcnr-0/+23
2022-07-19Use LocalDefId in OpaqueTypeKeyMichael Goulet-7/+0
2022-07-12Rollup merge of #99038 - jackh726:earlybinder-cleanup, r=lcnrDylan DPC-0/+4
2022-07-09Auto merge of #99028 - tmiasko:inline, r=estebankbors-0/+1
2022-07-07Move EarlyBinder calls in rustc_typeck::outlives a bit further upJack Huey-0/+4
2022-07-07Move is_free and is_free_or_static to Region, change resolve_var to resolve_r...Jack Huey-0/+13