about summary refs log tree commit diff
path: root/compiler/rustc_infer
AgeCommit message (Expand)AuthorLines
2022-06-29Auto merge of #98558 - nnethercote:smallvec-1.8.1, r=lqdbors-1/+1
2022-06-28Rollup merge of #97346 - JohnTitor:remove-back-compat-hacks, r=oli-obkDylan DPC-8/+6
2022-06-27lower-generic vs. outlivelcnr-2/+2
2022-06-27fold_region: remove unused parameterlcnr-2/+2
2022-06-27outside of borrowck, do not provide an implicit_region_boundlcnr-11/+7
2022-06-27Remove a back-compat hack on lazy TAITYuki Okushi-8/+6
2022-06-27Update `smallvec` to 1.8.1.Nicholas Nethercote-1/+1
2022-06-25Rollup merge of #98311 - eggyal:reverse-folder-hierarchy, r=jackh726Matthias Krüger-4/+2
2022-06-24Auto merge of #98109 - nikomatsakis:issue-98095, r=jackh726bors-100/+373
2022-06-23run `x.py fmt`Niko Matsakis-5/+1
2022-06-23remove misleading commentNiko Matsakis-4/+1
2022-06-23try to clarify confusing commentNiko Matsakis-1/+9
2022-06-23normalize if-eq bounds before testingNiko Matsakis-1/+2
2022-06-23apply suggestions from oli-obkNiko Matsakis-7/+7
2022-06-23coallesce docsNiko Matsakis-65/+32
2022-06-23rename IfEqBound to IfEqNiko Matsakis-7/+7
2022-06-23remove VerifyBound::IfEq variantNiko Matsakis-36/+31
2022-06-22Rollup merge of #97818 - compiler-errors:rpit-error-spanned, r=oli-obkYuki Okushi-3/+7
2022-06-21Point at return expression for RPIT-related errorMichael Goulet-3/+7
2022-06-22Rollup merge of #97867 - lcnr:lub-binder, r=oli-obkYuki Okushi-12/+28
2022-06-21Reverse folder hierarchyAlan Egerton-4/+2
2022-06-21Avoid an ICE and instead let the compiler report a useful errorOli Scherer-1/+5
2022-06-15generalize the outlives obligation codeNiko Matsakis-31/+94
2022-06-15improved debug outputNiko Matsakis-5/+2
2022-06-15remove compare-fn and use erased-tyNiko Matsakis-17/+23
2022-06-15simplify argument type for to take param-tyNiko Matsakis-6/+4
2022-06-15implement (unused) matching solverNiko Matsakis-2/+248
2022-06-15simply the IfEq bound -- we only ever use a regionNiko Matsakis-7/+6
2022-06-15Rollup merge of #98110 - cjgillot:closure-brace, r=Aaron1011Yuki Okushi-6/+8
2022-06-15Rollup merge of #98067 - klensy:compiler-deps2, r=Dylan-DPCYuki Okushi-1/+0
2022-06-14implement valtrees as the type-system representation for constant valuesb-naber-3/+25
2022-06-14Rollup merge of #97935 - nnethercote:rename-ConstS-val-as-kind, r=lcnrDylan DPC-20/+20
2022-06-14Auto merge of #98041 - jackh726:remove-regionckmode, r=oli-obkbors-46/+34
2022-06-14Rename the `ConstS::val` field as `kind`.Nicholas Nethercote-20/+20
2022-06-13remove currently unused depsklensy-1/+0
2022-06-13remove unnecessary `to_string` and `String::new`Takayuki Maeda-13/+13
2022-06-13Remove RegionckMode in favor of calling new skip_region_resolutionJack Huey-46/+34
2022-06-12Rollup merge of #98012 - compiler-errors:poly-trait-refs-are-traits, r=cjgillotDylan DPC-1/+3
2022-06-11Make is_suggestable work on all TypeFoldableMichael Goulet-5/+1
2022-06-11Handle empty where-clause betterMichael Goulet-9/+4
2022-06-11ValuePairs::PolyTraitRefs should be called 'trait'Michael Goulet-1/+3
2022-06-12Make `ExprKind::Closure` a struct variant.Camille GILLOT-6/+8
2022-06-11remove an unnecessary format macroTakayuki Maeda-5/+2
2022-06-11Rollup merge of #97967 - BoxyUwU:at_docs_mention_trace, r=compiler-errorsDylan DPC-0/+21
2022-06-11Rollup merge of #97703 - lcnr:post-89862, r=estebankDylan DPC-73/+31
2022-06-10the day that i make a PR without a tidy error..Ellen-7/+7
2022-06-10aEllen-0/+21
2022-06-10use FxHashMap instead of BTreeMaplcnr-4/+3
2022-06-10eagerly check whether we replace any bound varslcnr-24/+15
2022-06-10update higher_ranked_sub docslcnr-27/+35