about summary refs log tree commit diff
path: root/src/librustc_trait_selection
AgeCommit message (Expand)AuthorLines
2020-05-22Remove dead ScopeTree codeMatthew Jasper-5/+0
2020-05-22Remove ReScopeMatthew Jasper-2/+2
2020-05-22Stabilize str_strip featureLzu Tao-1/+0
2020-05-22Rollup merge of #71829 - kper:issue71136, r=matthewjasperRalf Jung-6/+19
2020-05-22Using `!span.from_expansion()` instead of snippetsKevin Per-25/+1
2020-05-22only try to suggest for try trait_refcsmoe-1/+5
2020-05-21Rollup merge of #72055 - lcnr:predicate-kind, r=nikomatsakisRalf Jung-191/+222
2020-05-21Auto merge of #70705 - lcnr:generic_discriminant, r=nikomatsakisbors-20/+102
2020-05-20change `Predicate::kind` to return a referenceBastian Kauschke-29/+27
2020-05-20intern `PredicateKind`Bastian Kauschke-1/+1
2020-05-20introduce newtype'd `Predicate<'tcx>`Bastian Kauschke-55/+73
2020-05-20make `to_predicate` take a `tcx` argumentNiko Matsakis-61/+68
2020-05-20rename `Predicate` to `PredicateKind`, introduce aliasBastian Kauschke-100/+108
2020-05-20Auto merge of #71923 - csmoe:issue-70818, r=tmandrybors-108/+135
2020-05-20comment return sitesBastian Kauschke-7/+14
2020-05-20Be more conservative concerning `structural_match`Bastian Kauschke-21/+19
2020-05-20note for `ty::Error`.Bastian Kauschke-7/+14
2020-05-20exhaustively match during structural match checkingBastian Kauschke-2/+33
2020-05-19Auto merge of #69171 - Amanieu:new-asm, r=nagisa,nikomatsakisbors-3/+6
2020-05-19auto impl`DiscriminantKind` for every typeBastian Kauschke-20/+102
2020-05-18HIR passes for asm!Amanieu d'Antras-0/+3
2020-05-18Implement asm! in librustc_builtin_macrosAmanieu d'Antras-3/+3
2020-05-17Logically seperate lazy norm from `const_generics`Bastian Kauschke-1/+1
2020-05-17add docsBastian Kauschke-1/+1
2020-05-17merge lazy_normalization_consts into const_genericsBastian Kauschke-1/+1
2020-05-17explicitly handle errors in `select`Bastian Kauschke-13/+19
2020-05-17explicitly handle errors in fulfillBastian Kauschke-11/+12
2020-05-17initial cleanupBastian Kauschke-3/+6
2020-05-17Put lazy normalization behind a feature gateBen Lewis-0/+14
2020-05-17Assume unevaluated consts are equal to the other consts and add ConstEquate o...Ben Lewis-53/+180
2020-05-17Rollup merge of #72282 - jonas-schievink:issue-typo, r=Dylan-DPCDylan DPC-1/+1
2020-05-17Rollup merge of #72281 - estebank:fix-ws-sugg, r=Dylan-DPCDylan DPC-1/+1
2020-05-16Fix issue number typo in noteJonas Schievink-1/+1
2020-05-16Fix whitespace in `?Sized` structured suggestionEsteban Küber-1/+1
2020-05-16Rollup merge of #72216 - doctorn:require-lang-item, r=lcnrDylan DPC-2/+3
2020-05-16Rollup merge of #71948 - csmoe:issue-61076, r=oli-obkDylan DPC-1/+143
2020-05-15Remove lang_items\(\).*\.unwrap\(\)Nathan Corbyn-2/+3
2020-05-15implement type_implments_trait querycsmoe-19/+60
2020-05-14Rollup merge of #72194 - doctorn:dispatch-from-dyn-ice, r=estebankDylan DPC-6/+23
2020-05-14Rollup merge of #72170 - lcnr:lang_item, r=oli-obkDylan DPC-2/+3
2020-05-14Don't ICE on missing `Unsize` implNathan Corbyn-6/+23
2020-05-14Rollup merge of #72150 - jackh726:unnorm_projection, r=nikomatsakisRalf Jung-15/+6
2020-05-13use `require_lang_item` over `unwrap`.Bastian Kauschke-2/+3
2020-05-12review commentsEsteban Küber-2/+9
2020-05-12Increase verbosity of bound restriction suggestionsEsteban Küber-4/+8
2020-05-12Suggest adding super trait constraintsEsteban Küber-4/+41
2020-05-12Remove ty::UnnormalizedProjectionJack Huey-15/+6
2020-05-11Rollup merge of #72109 - matthiaskrgr:cl8ppy, r=Dylan-DPCDylan DPC-5/+5
2020-05-11Rollup merge of #72019 - matthewjasper:dont-skip-binder, r=davidtwcoDylan DPC-0/+9
2020-05-11Fix clippy warningsMatthias Krüger-5/+5