about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2022-03-18Rollup merge of #95039 - spastorino:overlap-super-predicates, r=nikomatsakisMatthias Krüger-32/+58
2022-03-17Rollup merge of #94960 - codehorseman:master, r=oli-obkDylan DPC-7/+7
2022-03-17Update compiler/rustc_trait_selection/src/traits/coherence.rsNiko Matsakis-1/+0
2022-03-17Use let else hereSantiago Pastorino-26/+26
2022-03-17Add more commmentsSantiago Pastorino-0/+2
2022-03-17This test now worksSantiago Pastorino-0/+1
2022-03-17Extract obligation resolution to functionSantiago Pastorino-30/+46
2022-03-17Make negative coherence work when there's impl negative on super predicatesSantiago Pastorino-8/+16
2022-03-16rustc_error: make ErrorReported impossible to constructmark-77/+92
2022-03-16resolve the conflict in compiler/rustc_session/src/parse.rscodehorseman-7/+7
2022-03-15Rollup merge of #94947 - Dylan-DPC:fix/typos, r=oli-obkMatthias Krüger-1/+1
2022-03-15Auto merge of #92285 - compiler-errors:dyn-proj-bounds, r=nikomatsakisbors-15/+13
2022-03-15fix typosDylan DPC-1/+1
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-14Rollup merge of #93977 - compiler-errors:sized-generic-metadata, r=wesleywiserMatthias Krüger-5/+30
2022-03-11Improve `AdtDef` interning.Nicholas Nethercote-16/+16
2022-03-10Rollup merge of #94440 - compiler-errors:issue-94282, r=lcnrMatthias Krüger-25/+63
2022-03-10Rollup merge of #94746 - notriddle:notriddle/method-rustc-on-unimplemented, r...Matthias Krüger-1/+5
2022-03-09suggest enabling generic_const_exprs feature if const is unevaluatableMichael Goulet-25/+64
2022-03-09diagnostics: use rustc_on_unimplemented to recommend `[].iter()`Michael Howell-1/+5
2022-03-09normalization change and rebaseb-naber-1/+1
2022-03-09treat all mir::Constant values as ConstantKind::Valb-naber-1/+16
2022-03-08Rollup merge of #94689 - compiler-errors:on-unimplemented-substs, r=petrochenkovDylan DPC-34/+40
2022-03-07Try to normalize associated types before processing obligationsJack Huey-10/+97
2022-03-06allow referencing impl substs from rustc_on_unimplementedMichael Goulet-23/+27
2022-03-06use impl substs in on_unimplementedMichael Goulet-11/+13
2022-03-07remove unnecessary `..` patternsTakayuki Maeda-1/+1
2022-03-03opaque types may also be sizedMichael Goulet-4/+12
2022-03-03type parameters have unit metadata if they are sizedMichael Goulet-5/+22
2022-03-03Rollup merge of #94057 - lcnr:simplify_type-uwu, r=nikomatsakisMatthias Krüger-13/+21
2022-03-03Auto merge of #84944 - lcnr:obligation-dedup, r=jackh726bors-22/+0
2022-03-02rename ErrorReported -> ErrorGuaranteedmark-58/+60
2022-03-019 - Make more use of `let_chains`Caio-218/+176
2022-02-27Auto merge of #94144 - est31:let_else_trait_selection, r=cjgillotbors-117/+75
2022-02-26suggest a float literal when dividing a floating-point type by {integer}Takayuki Maeda-1/+36
2022-02-25Switch bootstrap cfgsMark Rousskov-1/+1
2022-02-25Auto merge of #93368 - eddyb:diagbld-guarantee, r=estebankbors-121/+84
2022-02-24restore spans for issue-50480Michael Goulet-1/+14
2022-02-24better ObligationCause for normalization errors in can_type_implement_copyMichael Goulet-2/+2
2022-02-23rustc_errors: let `DiagnosticBuilder::emit` return a "guarantee of emission".Eduard-Mihai Burtescu-6/+7
2022-02-23rustc_errors: take `self` by value in `DiagnosticBuilder::cancel`.Eduard-Mihai Burtescu-2/+6
2022-02-23Replace `&mut DiagnosticBuilder`, in signatures, with `&mut Diagnostic`.Eduard-Mihai Burtescu-114/+72
2022-02-21Auto merge of #94225 - matthiaskrgr:rollup-0728x8n, r=matthiaskrgrbors-18/+10
2022-02-21Rollup merge of #94215 - lcnr:leak-check, r=jackh726Matthias Krüger-18/+10
2022-02-21Auto merge of #93505 - lcnr:substsref-vs-ty-list, r=michaelwoeristerbors-19/+14
2022-02-21update docs for `simplify_type`lcnr-13/+21
2022-02-21obligation forest docslcnr-2/+2
2022-02-21don't check for the leak_check twicelcnr-14/+6
2022-02-21Auto merge of #94108 - compiler-errors:just-confirmation-normalization, r=jac...bors-73/+30