summary refs log tree commit diff
path: root/src/test/run-pass/specialization/defaultimpl
AgeCommit message (Collapse)AuthorLines
2018-02-15add Self: Trait<..> inside the param_env of a default implGianni Ciccarelli-1/+9
2018-02-09add Self: Trait<..> inside the param_env of a default implGianni Ciccarelli-1/+1
2018-02-07support `default impl` for specializationGianni Ciccarelli-784/+8
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/+168
a `default impl` need not include all items from the trait a `default impl` alone does not mean that a type implements the trait
2017-10-11Shorten some test namesVadim Petrochenkov-9/+9
Paths to object files generated from them were too long and caused errors
2017-04-26 support `default impl` for specializationGianni Ciccarelli-11/+11
`[default] [unsafe] impl` and typecheck
2017-04-25 support `default impl` for specializationGianni Ciccarelli-0/+106
pr review
2017-04-24support `default impl` for specializationGianni Ciccarelli-0/+729
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