summary refs log tree commit diff
path: root/compiler/rustc_middle/src/ty/sty.rs
AgeCommit message (Expand)AuthorLines
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
2022-07-07Miscellaneous inlining improvementsTomasz Miąsko-0/+1
2022-07-06Update TypeVisitor pathsAlan Egerton-3/+3
2022-07-05Relax constrained generics to TypeVisitableAlan Egerton-7/+7
2022-07-05Add #[derive(TypeVisitable)]Alan Egerton-11/+11
2022-06-19Move RegionKind to rustc_type_irJack Huey-149/+13
2022-06-08Folding revamp.Nicholas Nethercote-1/+2
2022-06-03Replace `&Vec<_>`s with `&[_]`sMaybe Waffle-0/+7
2022-05-28Make TyCtxt implement Interner, make HashStable generic and move to rustc_typ...Michael Goulet-1/+1
2022-05-28Fix TyKind lint, make consts no longer fn, etcMichael Goulet-200/+4
2022-05-28Initial fixes on top of type interner commitMichael Goulet-3/+1
2022-05-28Move things to rustc_type_irWilco Kusee-5/+31
2022-05-27fix commentlcnr-1/+1
2022-05-14Add bound_explicit_item_bounds and bound_item_boundsJack Huey-0/+24
2022-05-13Add bound_fn_sigJack Huey-1/+1
2022-05-13Add bound_type_ofJack Huey-1/+1
2022-05-10Introduce EarlyBinderJack Huey-3/+44
2022-05-07Auto merge of #96094 - Elliot-Roberts:fix_doctests, r=compiler-errorsbors-32/+34
2022-05-02fix most compiler/ doctestsElliot Roberts-32/+34
2022-05-02rustc: Panic by default in `DefIdTree::parent`Vadim Petrochenkov-1/+1