about summary refs log tree commit diff
path: root/src/test/ui/specialization
AgeCommit message (Expand)AuthorLines
2021-02-21reword `;` suggestions to have consistent wordingEsteban Küber-1/+1
2021-02-17In some limited cases, suggest `where` bounds for non-type paramsEsteban Küber-0/+4
2021-01-26Avoid describing a method as 'not found' when bounds are unsatisfiedAaron Hill-4/+4
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-12-29Remove `compile-fail` test suiteVadim Petrochenkov-2/+49
2020-11-23Rename `optin_builtin_traits` to `auto_traits`Camelid-1/+1
2020-10-17Suggest minimal subset features in `incomplete_features` lintYuki Okushi-0/+45
2020-10-06Update to chalk 0.31. Implement some unimplemented. Ignore some tests in comp...Jack Huey-2/+3
2020-10-06Avoid cycles from projection boundsMatthew Jasper-29/+17
2020-10-06Check projections are well-formed when using projection candidatesMatthew Jasper-0/+101
2020-10-06Separate bounds and predicates for associated/opaque typesMatthew Jasper-7/+7
2020-09-25Move from {{closure}}#0 syntax to {closure#0} for (def) path componentsmarmeladema-1/+1
2020-09-03specialization_graph: avoid trimmed paths for OverlapErrorDan Aloni-3/+3
2020-09-02pretty: trim paths of unique symbolsDan Aloni-29/+29
2020-08-22Use smaller def span for functionsAaron Hill-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-07-14Remove redundant explanatory `note` for type parametersEsteban Küber-1/+0
2020-06-23Add test for issue-59435Yuki Okushi-0/+29
2020-06-23Add test for issue-44861Yuki Okushi-0/+52
2020-06-20Move bounds on associated types to the typeMatthew Jasper-7/+7
2020-06-20Check associated type satisfy their boundsMatthew Jasper-0/+153
2020-06-16bless allRalf Jung-36/+36
2020-06-16warn against 'specialization' featureRalf Jung-59/+472
2020-05-02Point at associated types when they have a default typeEsteban Küber-2/+2
2020-05-02When a projection is expected, suggest constraining or calling methodEsteban Küber-2/+2
2020-05-02On type mismatch involving associated type, suggest constraintEsteban Küber-2/+2
2020-04-24Rollup merge of #71235 - estebank:lt-sugg-2, r=ecstatic-morseDylan DPC-2/+2
2020-04-23fix error code for E0751YI-8/+8
2020-04-22Sort `MultiSpan`s on creationEsteban Küber-2/+2
2020-04-18Do not emit note for projected derived obligationsEsteban Küber-1/+0
2020-04-18Maintain chain of derived obligationsEsteban Küber-0/+4
2020-03-30Add a testJonas Schievink-0/+23
2020-03-29Tweak `suggest_constraining_type_param`Esteban Küber-4/+3
2020-03-26introduce `negative_impls` feature gate and documentNiko Matsakis-4/+5
2020-03-26make a custom error for overlap with negative implsNiko Matsakis-14/+14
2020-03-26permit negative impls for non-auto traitsNiko Matsakis-8/+13
2020-03-22Tweak output for invalid negative impl errorsEsteban Küber-8/+14
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
2020-03-05review commentsEsteban Küber-2/+2
2020-03-04Tweak output for invalid negative impl AST errorsEsteban Küber-1/+1
2020-02-28keep predicate order and tweak outputEsteban Küber-3/+5
2020-02-28Tweak wordingEsteban Küber-1/+1
2020-02-28Mention the full path of the implementing traitEsteban Küber-1/+1
2020-02-28Track all predicates in errors, not just trait obligationsEsteban Küber-1/+3
2020-02-28Deduplicate information in E0599Esteban Küber-3/+1
2020-02-28On single local candidate, use span labelEsteban Küber-2/+3