| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2023-01-11 | Move /src/test to /tests | Albert Larsan | -2122/+0 | |
| 2022-12-13 | Make some diagnostics not depend on the source of what they reference being ↵ | Oli Scherer | -10/+5 | |
| available | ||||
| 2022-11-21 | Allow opaque types in trait impl headers and rely on coherence to reject ↵ | Oli Scherer | -14/+1 | |
| unsound cases | ||||
| 2022-08-20 | Rollup merge of #100500 - cjgillot:verify-self-predicate, r=lcnr | Matthias 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-18 | Reword "Required because of the requirements on the impl of ..." | Andy Wang | -2/+2 | |
| 2022-08-17 | Add const-generics test. | Camille GILLOT | -0/+23 | |
| 2022-08-13 | Ban references to `Self` in trait object substs for projection predicates too. | Camille GILLOT | -1/+8 | |
| 2022-08-10 | Ban indirect references to `Self` too. | Camille GILLOT | -0/+19 | |
| 2022-08-10 | Generalize trait object generic param check to aliases. | Camille GILLOT | -0/+49 | |
| 2022-07-01 | Shorten def_span for more items. | Camille GILLOT | -2/+2 | |
| 2022-06-22 | Perform coherence checking per impl. | Camille GILLOT | -8/+8 | |
| 2022-06-16 | fix one more case of trailing space | klensy | -6/+6 | |
| 2022-05-09 | Point to the empty trait alias. | Camille GILLOT | -0/+6 | |
| 2022-04-12 | Compute a more precise span for opaque type impls | Oli Scherer | -2/+2 | |
| 2022-03-28 | Revert "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-24 | Properly track `ImplObligation`s | Esteban 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-11 | Revert "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-07 | Print opaque types from type aliases via their path | Oli Scherer | -3/+3 | |
| 2021-11-10 | no overlap errors after failing the orphan check | lcnr | -8/+8 | |
| 2021-10-02 | Consistently 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-16 | Use note to point at bound introducing requirement | Esteban Küber | -8/+15 | |
| 2021-08-11 | Modify structured suggestion output | Esteban 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-27 | Make all tests use type_alias_impl_trait feature instead of min | Santiago Pastorino | -1/+1 | |
| 2021-05-26 | Lint against non-camelCase trait alias names | Smitty | -0/+18 | |
| Type aliases are linted as such, so (unstable) trait aliases should be treated the same way. | ||||
| 2021-04-23 | Auto merge of #83729 - JohnTitor:issue-43913, r=estebank | bors | -0/+40 | |
| Add a suggestion when using a type alias instead of trait alias Fixes #43913 r? `@estebank` | ||||
| 2021-04-06 | Do not ICE when closure is involved in TAIT | Esteban Küber | -0/+36 | |
| Fix #83613. | ||||
| 2021-04-01 | Add a suggestion when using a type alias instead of trait alias | Yuki Okushi | -0/+40 | |
| 2021-02-09 | Organize trait test files | Bram van den Heuvel | -0/+1933 | |
