about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src/traits/select
AgeCommit message (Expand)AuthorLines
2022-03-17Rollup merge of #94960 - codehorseman:master, r=oli-obkDylan DPC-4/+4
2022-03-16rustc_error: make ErrorReported impossible to constructmark-3/+3
2022-03-16resolve the conflict in compiler/rustc_session/src/parse.rscodehorseman-4/+4
2022-03-14check all dyn obligations, actuallyMichael Goulet-17/+13
2022-03-14check Projection supertrait bounds when confirming dyn candidateMichael Goulet-1/+3
2022-03-03Rollup merge of #94057 - lcnr:simplify_type-uwu, r=nikomatsakisMatthias Krüger-6/+9
2022-03-03Auto merge of #84944 - lcnr:obligation-dedup, r=jackh726bors-22/+0
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-3/+3
2022-03-019 - Make more use of `let_chains`Caio-18/+16
2022-02-27Auto merge of #94144 - est31:let_else_trait_selection, r=cjgillotbors-23/+13
2022-02-23Replace `&mut DiagnosticBuilder`, in signatures, with `&mut Diagnostic`.Eduard-Mihai Burtescu-2/+2
2022-02-21Auto merge of #94225 - matthiaskrgr:rollup-0728x8n, r=matthiaskrgrbors-2/+2
2022-02-21Rollup merge of #94215 - lcnr:leak-check, r=jackh726Matthias Krüger-2/+2
2022-02-21Auto merge of #93505 - lcnr:substsref-vs-ty-list, r=michaelwoeristerbors-11/+7
2022-02-21update docs for `simplify_type`lcnr-6/+9
2022-02-21Auto merge of #94108 - compiler-errors:just-confirmation-normalization, r=jac...bors-73/+30
2022-02-21rename functionlcnr-2/+2
2022-02-21use `List<Ty<'tcx>>` for tupleslcnr-11/+7
2022-02-20Auto merge of #94062 - Mark-Simulacrum:drop-print-cfg, r=oli-obkbors-2/+2
2022-02-19Consolidate normalization in confirm_poly_trait_refsMichael Goulet-73/+30
2022-02-19rustc_trait_selection: adopt let else in more placesest31-23/+13
2022-02-18Rollup merge of #93892 - compiler-errors:issue-92917, r=jackh726,nikomatsakisMatthias Krüger-3/+35
2022-02-16Move ty::print methods to Drop-based scope guardsMark Rousskov-2/+2
2022-02-15Overhaul `Const`.Nicholas Nethercote-5/+5
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-1/+1
2022-02-14use an enum in matches_projection_projectionMichael Goulet-13/+24
2022-02-14fast_reject: remove `StripReferences`lcnr-8/+3
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-41/+9
2022-02-10only mark projection as ambiguous if GAT substs are constrainedMichael Goulet-3/+24
2022-02-02Make a comment more obviousOli Scherer-2/+4
2022-02-02Eagerly merge hidden types.Oli Scherer-2/+2
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-9/+39
2022-01-26drive-by: use is_const and is_const_if_constMichael Goulet-7/+3
2022-01-26Improve selection errors for `~const` trait boundsDeadbeef-3/+3
2022-01-25Rollup merge of #93064 - Aaron1011:provisional-dep-node, r=michaelwoeristerMatthias Krüger-12/+51
2022-01-19Foreign types are trivially dropMichael Goulet-2/+3
2022-01-19skip some layers in const drop confirmationMichael Goulet-70/+91
2022-01-19never type is const DropMichael Goulet-3/+5
2022-01-18Properly track `DepNode`s in trait evaluation provisional cacheAaron Hill-12/+51
2022-01-18Check const Drop impls considering ConstIfConst boundsMichael Goulet-136/+170
2022-01-16Rollup merge of #92710 - jackh726:issue-92280, r=nikomatsakisMatthias Krüger-1/+3
2022-01-16Auto merge of #92805 - BoxyUwU:revert-lazy-anon-const-substs, r=lcnrbors-10/+6
2022-01-15Rollup merge of #92191 - jackh726:issue-89352, r=nikomatsakisMatthias Krüger-15/+24
2022-01-15attempt to re-add `ty::Unevaluated` visitor and friendsEllen-4/+3
2022-01-15initial revertEllen-13/+10
2022-01-10Elaborate param_env predicates when checking if type outlives involving proje...Jack Huey-1/+3
2022-01-09eplace usages of vec![].into_iter with [].into_iterLucas Kent-1/+1
2021-12-25normalize env constness for nested obligationsDeadbeef-0/+33
2021-12-22When obligation is a sized predicate, prefer projection or object candidates ...Jack Huey-15/+24
2021-12-21remove obligation deduplcnr-22/+0