about summary refs log tree commit diff
path: root/src/test/run-pass/defaults-well-formedness.rs
AgeCommit message (Expand)AuthorLines
2019-07-27tests: Move run-pass tests without naming conflicts to uiVadim Petrochenkov-27/+0
2019-07-27tests: Add missing run-pass annotationsVadim Petrochenkov-0/+2
2018-12-25Remove licensesMark Rousskov-10/+0
2018-09-21Allow various lints as part of ui-ifying `src/test/run-pass` suite.Felix S. Klock II-0/+1
2018-04-05Fix #49344leonardo.yvens-0/+4
2018-02-28Check only concrete defaults for well formednessleonardo.yvens-0/+2
2018-02-28Check only predicates with a single param with a concrete default.leonardo.yvens-3/+6
2018-02-28Add tests for dependent defaults.leonardo.yvens-0/+2
2018-02-28Check WF of predicates with defaults only if all params have defaultsleonardo.yvens-4/+6
2018-02-28Check WF of predicate with defaults only if all in LHS have defaultleonardo.yvens-0/+7
2018-02-28Go back to checking only the LHS of trait predicates.leonardo.yvens-0/+14