summary refs log tree commit diff
path: root/src/test/compile-fail/specialization/defaultimpl
AgeCommit message (Collapse)AuthorLines
2018-02-15add Self: Trait<..> inside the param_env of a default implGianni Ciccarelli-0/+8
2018-02-09add Self: Trait<..> inside the param_env of a default implGianni Ciccarelli-3/+3
2018-02-07support `default impl` for specializationGianni Ciccarelli-0/+18
not skipping any wfchecks on default impls
2018-02-07support `default impl` for specializationGianni Ciccarelli-409/+17
a default impl should never be considered as implementing the trait on its own -- regardless of whether it contains all items or not
2018-02-07 support `default impl` for specializationGianni Ciccarelli-0/+362
a `default impl` need not include all items from the trait a `default impl` alone does not mean that a type implements the trait
2018-01-14syntax: Rewrite parsing of implsVadim Petrochenkov-0/+23
Properly parse impls for the never type `!` Recover from missing `for` in `impl Trait for Type` Prohibit inherent default impls and default impls of auto traits Change wording in more diagnostics to use "auto traits" Some minor code cleanups in the parser
2018-01-13Adjust tests for removal of `impl Foo for .. {}`leonardo.yvens-20/+0
2017-11-03auto trait future compatibility lintleonardo.yvens-0/+1
2017-11-03[Syntax Breaking] Rename DefaultImpl to AutoImplleonardo.yvens-1/+1
DefaultImpl is a highly confusing name for what we now call auto impls, as in `impl Send for ..`. The name auto impl is not formally decided but for sanity anything is better than `DefaultImpl` which refers neither to `default impl` nor to `impl Default`.
2017-04-25 support `default impl` for specializationGianni Ciccarelli-0/+19
pr review
2017-04-24support `default impl` for specializationGianni Ciccarelli-0/+207
this commit implements the first step of the `default impl` feature: all items in a `default impl` are (implicitly) `default` and hence specializable. In order to test this feature I've copied all the tests provided for the `default` method implementation (in run-pass/specialization and compile-fail/specialization directories) and moved the `default` keyword from the item to the impl. See referenced issue for further info