about summary refs log tree commit diff
path: root/src/test/ui/traits/alias
AgeCommit message (Collapse)AuthorLines
2023-01-11Move /src/test to /testsAlbert Larsan-2122/+0
2022-12-13Make some diagnostics not depend on the source of what they reference being ↵Oli Scherer-10/+5
available
2022-11-21Allow opaque types in trait impl headers and rely on coherence to reject ↵Oli Scherer-14/+1
unsound cases
2022-08-20Rollup merge of #100500 - cjgillot:verify-self-predicate, r=lcnrMatthias Krüger-1/+31
Ban references to `Self` in trait object substs for projection predicates too. Fixes https://github.com/rust-lang/rust/issues/100484 Fixes https://github.com/rust-lang/rust/issues/100485 r? ````@lcnr````
2022-08-18Reword "Required because of the requirements on the impl of ..."Andy Wang-2/+2
2022-08-17Add const-generics test.Camille GILLOT-0/+23
2022-08-13Ban references to `Self` in trait object substs for projection predicates too.Camille GILLOT-1/+8
2022-08-10Ban indirect references to `Self` too.Camille GILLOT-0/+19
2022-08-10Generalize trait object generic param check to aliases.Camille GILLOT-0/+49
2022-07-01Shorten def_span for more items.Camille GILLOT-2/+2
2022-06-22Perform coherence checking per impl.Camille GILLOT-8/+8
2022-06-16 fix one more case of trailing spaceklensy-6/+6
2022-05-09Point to the empty trait alias.Camille GILLOT-0/+6
2022-04-12Compute a more precise span for opaque type implsOli Scherer-2/+2
2022-03-28Revert "Auto merge of #93893 - oli-obk:sad_revert, r=oli-obk"Oli Scherer-3/+3
This reverts commit 6499c5e7fc173a3f55b7a3bd1e6a50e9edef782d, reversing changes made to 78450d2d602b06d9b94349aaf8cece1a4acaf3a8.
2022-03-24Properly track `ImplObligation`sEsteban Kuber-0/+2
Instead of probing for all possible impls that could have caused an `ImplObligation`, keep track of its `DefId` and obligation spans for accurate error reporting. Follow up to #89580. Addresses #89418. Remove some unnecessary clones. Tweak output for auto trait impl obligations.
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-3/+3
This reverts commit e7cc3bddbe0d0e374d05e7003e662bba1742dbae, reversing changes made to 734368a200904ef9c21db86c595dc04263c87be0.
2022-02-07Print opaque types from type aliases via their pathOli Scherer-3/+3
2021-11-10no overlap errors after failing the orphan checklcnr-8/+8
2021-10-02Consistently use 'supertrait'.Bruce Mitchener-55/+55
A subset of places referred to 'super-trait', so this changes them to all use 'supertrait'. This matches 'supertype' and some other usages. An exception is 'auto-trait' which is consistently used in that manner.
2021-08-16Use note to point at bound introducing requirementEsteban Küber-8/+15
2021-08-11Modify structured suggestion outputEsteban Küber-3/+3
* On suggestions that include deletions, use a diff inspired output format * When suggesting addition, use `+` as underline * Color highlight modified span
2021-07-27Make all tests use type_alias_impl_trait feature instead of minSantiago Pastorino-1/+1
2021-05-26Lint against non-camelCase trait alias namesSmitty-0/+18
Type aliases are linted as such, so (unstable) trait aliases should be treated the same way.
2021-04-23Auto merge of #83729 - JohnTitor:issue-43913, r=estebankbors-0/+40
Add a suggestion when using a type alias instead of trait alias Fixes #43913 r? `@estebank`
2021-04-06Do not ICE when closure is involved in TAITEsteban Küber-0/+36
Fix #83613.
2021-04-01Add a suggestion when using a type alias instead of trait aliasYuki Okushi-0/+40
2021-02-09Organize trait test filesBram van den Heuvel-0/+1933