about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2022-03-27Make fatal DiagnosticBuilder yield neverMichael Goulet-2/+1
2022-03-28Auto merge of #95333 - GuillaumeGomez:auto-trait-perf-issue, r=oli-obkbors-28/+22
2022-03-26Do not use ParamEnv::and to cache param-env with candidateMichael Goulet-8/+8
2022-03-27Rollup merge of #93469 - compiler-errors:issue-93450, r=estebankDylan DPC-1/+1
2022-03-27Remove SelectionContext::allow_negative_impls fieldGuillaume Gomez-26/+2
2022-03-26Fix perf issue for auto trait selectionGuillaume Gomez-2/+20
2022-03-26Auto merge of #95149 - cjgillot:once-diag, r=estebankbors-73/+56
2022-03-25when checking pointee metadata, canonicalize the Sized queryMichael Goulet-1/+11
2022-03-25Auto merge of #95280 - InfRandomness:infrandomness/Dtorck_clarification, r=ol...bors-1/+1
2022-03-25Auto merge of #95082 - spastorino:overlap-inherent-impls, r=nikomatsakisbors-61/+66
2022-03-25Rollup merge of #95179 - b-naber:eval-in-try-unify, r=lcnrDylan DPC-80/+124
2022-03-25Rollup merge of #94391 - light4:issue-90319, r=estebankDylan DPC-12/+25
2022-03-24Implement impl_subject_and_oblig instead of repeating the implsSantiago Pastorino-74/+26
2022-03-24Where bounds are checked on inherent implsSantiago Pastorino-2/+36
2022-03-24Swap DtorckConstraint to DropckConstraintInfRandomness-1/+1
2022-03-25Fix ice when error reporting recursion errorslightning1141-12/+25
2022-03-24Normalize both trait and inherentSantiago Pastorino-16/+9
2022-03-24Extract impl_subject_and_oglibations fn and make equate receive subjectsSantiago Pastorino-43/+42
2022-03-24Auto merge of #94876 - b-naber:thir-abstract-const-changes, r=lcnrbors-13/+84
2022-03-24Auto merge of #91030 - estebank:trait-bounds-are-tricky-2, r=oli-obkbors-88/+145
2022-03-23Better suggestions for Fn trait selection errorsMichael Goulet-5/+121
2022-03-24Properly track `ImplObligation`sEsteban Kuber-88/+145
2022-03-23Rollup merge of #95069 - GuillaumeGomez:auto-traits-rustdoc, r=oli-obkMatthias Krüger-2/+2
2022-03-23Rollup merge of #94249 - compiler-errors:better-copy-errors, r=davidtwcoMatthias Krüger-2/+2
2022-03-23dont use a query for lit_to_constantb-naber-1/+1
2022-03-23use NonHirLiteral instead of ScalarLiteral, move pattern related code to pat_...b-naber-12/+17
2022-03-23move ExprKind::Repeat arm to expr_is_polyb-naber-10/+10
2022-03-23use ParamConst in ExprKind::ConstParamb-naber-2/+6
2022-03-23remove thir::Visitor::visit_constb-naber-8/+18
2022-03-23change thir to lazily create constantsb-naber-8/+60
2022-03-22better errors when a Copy impl is not coherentMichael Goulet-2/+2
2022-03-22erase region in ParamEnvAnd and make ConstUnifyCtxt privateb-naber-8/+4
2022-03-22dont canonicalize in try_unify_abstract_consts and erase regions insteadb-naber-21/+12
2022-03-22impl_header -> impl_subjectSantiago Pastorino-1/+1
2022-03-22fix previous failures and address reviewb-naber-99/+126
2022-03-21try to evaluate in try_unifyb-naber-29/+59
2022-03-21Tidy upDeadbeef-4/+8
2022-03-21Rename `~const Drop` to `~const Destruct`Deadbeef-34/+70
2022-03-20Filter OnceNote in diagnostic infra.Camille GILLOT-73/+56
2022-03-20Extract ImplSubject informationSantiago Pastorino-37/+38
2022-03-18Minor documentation type fixes h/t @pierwillSantiago Pastorino-2/+2
2022-03-18Extract obligations_satisfiable fnSantiago Pastorino-42/+44
2022-03-18Fix inherent impls on negative coherenceSantiago Pastorino-43/+67
2022-03-18Fix incorrect auto trait displayed in rustdocGuillaume Gomez-2/+2
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