summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2019-05-20Avoid `as_str()` in `ParamTy::is_self`.Nicholas Nethercote-4/+4
2019-05-18Declare DefIndex with the newtype_index macroFabian Drinck-2/+2
2019-05-12Don't allow any ReScope in impl trait typesMatthew Jasper-4/+1
2019-05-12Treat generators the same as closure for escaping lifetimesMatthew Jasper-0/+17
2019-05-12Always use the stronger outlives version for opaque typesMatthew Jasper-6/+28
2019-05-06Implement `ToTrace` for `ty::Const`varkor-0/+18
2019-05-06Resolve a couple of `unimplemented!()`svarkor-4/+6
2019-05-05rustc: rename all occurences of "freevar" to "upvar".Eduard-Mihai Burtescu-5/+5
2019-05-04Rollup merge of #60513 - chrisvittal:remove-borrowck-compare, r=matthewjasperMazdak Farrokhzad-3/+2
2019-05-04Rollup merge of #60449 - matthewjasper:impl-trait-outlives, r=pnkfelixMazdak Farrokhzad-57/+84
2019-05-03Update help messageChristopher Vittal-1/+1
2019-05-03Rollup merge of #60455 - estebank:resolve-match-arm-ty, r=davidtwcoMazdak Farrokhzad-1/+1
2019-05-03Rollup merge of #60401 - JohnTitor:rename-log, r=davidtwcoMazdak Farrokhzad-1/+1
2019-05-02Remove BorrowckMode::CompareChristopher Vittal-3/+2
2019-05-02Constrain all regions in the concrete type for an opaque typeMatthew Jasper-57/+84
2019-05-01Split `ct_err` out into `CommonConsts`varkor-1/+1
2019-05-01Create ShallowResolvervarkor-77/+99
2019-05-01Fix unused variable warningvarkor-2/+2
2019-05-01Fix known-known const unification casevarkor-4/+1
2019-05-01Fix rebase issuevarkor-2/+0
2019-05-01Implement const generics for `InferenceFudger`varkor-13/+33
2019-05-01Fix rebase from LazyConst removalvarkor-260/+216
2019-05-01Replace ConstVariableTable with UnificationTablevarkor-328/+181
2019-05-01Handle `ConstValue::Placeholder` in `canonicalizer`varkor-4/+21
2019-05-01Add `PlaceholderConst`varkor-0/+12
2019-05-01Add `ConstValue::Placeholder`varkor-3/+6
2019-05-01Inline ConstError into TypeErrorvarkor-4/+2
2019-05-01Implement fold_const for BoundVarReplacervarkor-4/+23
2019-05-01impl fold_const for TypeFreshenerGabriel Smith-22/+92
2019-05-01Rename mk_infer to mk_ty_inferGabriel Smith-1/+1
2019-05-01impl fold_const for RegionFudgerGabriel Smith-1/+58
2019-05-01Remove `fold_const` override for `ReverseMapper`varkor-4/+0
2019-05-01Drive-by comment fixesvarkor-6/+4
2019-05-01Handle generic consts in relate and infervarkor-11/+57
2019-05-01Add stubs for `fold_const`varkor-0/+12
2019-05-01Implement TypeRelation::constsvarkor-14/+240
2019-05-01Add const generics to unification tablesvarkor-42/+128
2019-05-01Define `const_unification_error`varkor-0/+9
2019-05-01Define `super_combine_consts`varkor-3/+60
2019-05-01Add `CanonicalVarKind::Const`varkor-4/+32
2019-05-01Define `canonicalize_const_var`varkor-0/+30
2019-05-01Add generic consts to `BottomUpFolder`varkor-2/+3
2019-05-01Add const_variable.rsvarkor-0/+242
2019-05-01Resolve match arm ty when arms divergeEsteban Küber-1/+1
2019-05-01Auto merge of #60195 - varkor:commontypes-to-common, r=eddybbors-9/+9
2019-04-30Rename to RUSTC_LOGYuki OKUSHI-1/+1
2019-04-28Fix lint findings in librustcflip1995-13/+13
2019-04-27Auto merge of #59540 - Zoxc:the-arena-2, r=michaelwoeristerbors-4/+5
2019-04-25Update existing usagesvarkor-9/+9
2019-04-25Auto merge of #59111 - gilescope:generator-better-errors, r=nikomatsakisbors-25/+62