about summary refs log tree commit diff
path: root/compiler/rustc_infer/src/infer/generalize.rs
AgeCommit message (Expand)AuthorLines
2023-12-15Move type relations into submodule in rustc_inferMichael Goulet-555/+0
2023-12-08cleanup type variable storagelcnr-1/+1
2023-12-04cleanup and commentslcnr-16/+23
2023-12-04generalize: handle occurs check failure in aliaseslcnr-8/+68
2023-12-04do not fetch variance info during generalizationlcnr-1/+1
2023-11-14finish `RegionKind` renamelcnr-2/+2
2023-11-13rename `ReLateBound` to `ReBound`lcnr-1/+1
2023-10-24Get rid of 'tcx on ConstVid, EffectVidMichael Goulet-8/+12
2023-10-04Make it clear that args default to being related invariantlyMichael Goulet-1/+1
2023-09-10Implement fallback for effect paramDeadbeef-0/+1
2023-07-14refactor(rustc_middle): Substs -> GenericArgMahdi Dibaiee-11/+11
2023-07-05Move `TyCtxt::mk_x` to `Ty::new_x` where applicableBoxy-1/+1
2023-07-04Replace `mk_const` with `Const::new_x` methodsBoxy-2/+6
2023-05-15Replace RelationDir with VarianceMichael Goulet-0/+3
2023-05-15Rename super_relate_* to structurally_relate_*Michael Goulet-2/+2
2023-05-15Tweaks and a testMichael Goulet-51/+52
2023-05-15yeet ConstInferUnifierMichael Goulet-20/+46
2023-05-15Simplify delegateMichael Goulet-32/+50
2023-05-15Combine TypeGeneralizer and GeneralizerMichael Goulet-0/+431