about summary refs log tree commit diff
path: root/src/test/ui/traits
AgeCommit message (Expand)AuthorLines
2022-02-24better ObligationCause for normalization errors in can_type_implement_copyMichael Goulet-0/+39
2022-02-14Auto merge of #93652 - spastorino:fix-negative-overlap-check-regions, r=nikom...bors-4/+6
2022-02-14Properly check regions on negative overlap checkSantiago Pastorino-4/+6
2022-02-14further update `fuzzy_match_tys`lcnr-4/+5
2022-02-14fuzzify `fuzzy_match_tys`lcnr-0/+6
2022-02-14Make `find_similar_impl_candidates` a little fuzzier.Ben Reeves-0/+2
2022-02-11Rollup merge of #93909 - saschanaz:patch-2, r=petrochenkovMatthias Krüger-8/+8
2022-02-11Fix typo: explicitely->explicitlyKagami Sascha Rosylight-8/+8
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-3/+3
2022-02-07Print opaque types from type aliases via their pathOli Scherer-3/+3
2022-02-01Auto merge of #93386 - WaffleLapkin:rustc_must_implement_one_of_check_target,...bors-1/+27
2022-01-28Add test for old ICE in #91594Ben Reeves-0/+34
2022-01-27Check that `#[rustc_must_implement_one_of]` is applied to a traitMaybe Waffle-1/+27
2022-01-17Rollup merge of #92164 - WaffleLapkin:rustc_must_implement_one_of_attr, r=Aar...Matthias Krüger-0/+256
2022-01-14Do not use `HashSet` for `#[rustc_must_implement_one_of]`Maybe Waffle-3/+3
2022-01-14Check for duplicate arguments in `#[rustc_must_implement_one_of]`Maybe Waffle-0/+53
2022-01-11Add a test for ungated `#[rustc_must_implement_one_of]`Maybe Waffle-0/+24
2022-01-10Rollup merge of #92248 - compiler-errors:normalize-type-for-pointee, r=jackh726Matthias Krüger-0/+22
2022-01-09Apply suggestions from code reviewWaffle Maybe-17/+17
2022-01-09Move `#[rustc_must_implement_one_of]` tests to fix tidy checkMaybe Waffle-0/+179
2021-12-29Add UI test for #92292Wang Ruochen-0/+32
2021-12-24Normalize struct tail type when checking Pointee traitMichael Goulet-0/+22
2021-12-20Auto merge of #92041 - Aaron1011:remove-speculative-evaluation, r=jackh726bors-0/+34
2021-12-18Rollup merge of #89090 - cjgillot:bare-dyn, r=jackh726Matthias Krüger-1/+6
2021-12-17Remove 'speculative evaluation' of predicatesAaron Hill-0/+34
2021-12-13Fix HashStable implementation on InferTyMichael Goulet-0/+17
2021-12-11Auto merge of #91769 - estebank:type-trait-bound-span-2, r=oli-obkbors-10/+23
2021-12-11Tweak assoc type obligation spansEsteban Kuber-10/+23
2021-12-10Tweak wordingEsteban Kuber-7/+7
2021-12-10Use a more accurate `Span` for `'static` obligation from return typeEsteban Kuber-8/+8
2021-12-10Point at return type when it introduces `'static` obligationEsteban Kuber-0/+32
2021-12-10Clean up visual output logicEsteban Kuber-9/+9
2021-12-10Point at capture points for non-`'static` reference crossing a `yield` pointEsteban Kuber-2/+64
2021-12-04Use multipart suggestions.Camille GILLOT-1/+6
2021-12-03Add test case that evals to `EvaluatedToOkModuloRegions`Wesley Wiser-1/+32
2021-12-03Add test with `#[rustc_evaluate_where_clauses]`Wesley Wiser-0/+150
2021-11-28Fix incorrect usage of `EvaluatedToOk` when evaluating `TypeOutlives`Aaron Hill-0/+77
2021-11-20Align multiline messages to their label (add left margin)Esteban Kuber-148/+148
2021-11-20Do not mention associated items when they introduce an obligationEsteban Kuber-93/+0
2021-11-20Point at source of trait bound obligations in more placesEsteban Kuber-21/+73
2021-11-18Move some tests to more reasonable directoriesCaio-0/+132
2021-11-16Rollup merge of #90819 - JakobDegen:issue-90804, r=petrochenkovYuki Okushi-9/+3
2021-11-14Move some tests to more reasonable directoriesCaio-0/+409
2021-11-13Fix handling of substitutions and binders when deciding whether to suggest re...Jakob Degen-9/+3
2021-11-10no overlap errors after failing the orphan checklcnr-14/+14
2021-11-06Move some tests to more reasonable directoriesCaio-0/+248
2021-10-28Add test casesIlya Yanok-0/+41
2021-10-25fix(rustc_typeck): report function argument errors on matching typeMichael Howell-3/+3
2021-10-24Always sort suggestions before emitting themEsteban Kuber-2/+2
2021-10-24Point at overlapping impls when type annotations are neededEsteban Kuber-15/+117