about summary refs log tree commit diff
path: root/src/test/ui/specialization/min_specialization
AgeCommit message (Expand)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-546/+0
2023-01-08Normalize assumed_wf_types after wfchecking is complete, for better spansMichael Goulet-6/+6
2023-01-08Improve spans of non-WF implied bound typesMichael Goulet-14/+10
2022-08-22Auto merge of #100676 - lcnr:implied-bounds-yay, r=nikomatsakisbors-6/+12
2022-08-18Reword "Required because of the requirements on the impl of ..."Andy Wang-2/+2
2022-08-17implied_bounds: clarify our assumptionslcnr-6/+12
2022-07-15remove `impl_implied_bounds` from `FnCtxt`lcnr-5/+3
2022-07-01Improve spans for specialization errorMichael Goulet-11/+11
2022-07-01Shorten def_span for more items.Camille GILLOT-63/+25
2022-06-26Add regression test for #79224Yuki Okushi-0/+53
2022-01-21Override rustc version in ui and mir-opt tests to get stable hashesThe 8472-1/+1
2022-01-17Update term for use in more placeskadmin-1/+1
2021-12-13Include rustc version in `rustc_span::StableCrateId`pierwill-1/+1
2021-09-30Elaborate predicates in min_specialization checksMatthew Jasper-0/+42
2021-07-06Revert "Revert "Update tests""bjorn3-1/+1
2021-06-07Revert "Update tests"bjorn3-1/+1
2021-05-30Update testsbjorn3-1/+1
2021-03-31Track bound varsJack Huey-1/+1
2021-01-16fold_with not super_fold_with in TypeFoldable impl for PredicateJack Huey-1/+1
2021-01-16Remove PredicateKind::AtomJack Huey-1/+1
2020-09-25Move from {{closure}}#0 syntax to {closure#0} for (def) path componentsmarmeladema-1/+1
2020-09-02pretty: trim paths of unique symbolsDan Aloni-2/+2
2020-07-27`PredicateKint` -> `PredicateKind`, the beginning of the endBastian Kauschke-1/+1
2020-07-19do not try fetching the ancestors of errored trait implsBastian Kauschke-0/+16
2020-03-15Consider well-formed predicates in min-specializationMatthew Jasper-0/+59
2020-03-15Implement soundness check for min_specializationMatthew Jasper-0/+382
2020-03-15Add attributes to allow specializing on traitsMatthew Jasper-0/+32