about summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2019-06-01Account for cases where we can find the type arg name, but the local name is `_`Esteban Küber-0/+5
2019-06-01review comment: tweak wordingEsteban Küber-9/+13
2019-05-31Tweak wordingEsteban Küber-19/+13
2019-05-31On type inference errors use the type argument name when possibleEsteban Küber-10/+42
2019-05-31Alternative wording for inference failureEsteban Küber-23/+13
2019-05-31Add more detail to type inference errorEsteban Küber-15/+55
2019-05-31Store CtxtInterners for local values in AllArenasJohn Kåre Alsaker-11/+2
2019-05-31Remove ty::BrFresh and new_boundYuki Okushi-44/+2
2019-05-28Fix nitsvarkor-2/+2
2019-05-28Remove FixedArraySize errorvarkor-0/+2
2019-05-28Rename `OpportunisticTypeResolver` to `OpportunisticVarResolver`varkor-32/+30
2019-05-28Resolve consts in OpportunisticTypeResolvervarkor-3/+12
2019-05-25rustc: integrate ty::Const into ty::print as print_const.Eduard-Mihai Burtescu-0/+8
2019-05-25Make `ConstValue::Slice` solely take `[u8]` and `str`Oliver Scherer-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-04 14:06:30 +0000