aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/tests/traits.rs
Commit message (Collapse)AuthorAgeFilesLines
* Correctly lower TraitRefs with default paramsLukas Wirth2021-03-221-0/+46
|
* Ignore type bindings in generic_predicates_for_paramFlorian Diebold2021-03-211-3/+2
| | | | | | | | | | | | | This allows us to handle more cases without a query cycle, which includes certain cases that rustc accepted. That in turn means we avoid triggering salsa-rs/salsa#257 on valid code (it will still happen if the user writes an actual cycle). We actually accept more definitions than rustc now; that's because rustc only ignores bindings when looking up super traits, whereas we now also ignore them when looking for predicates to disambiguate associated type shorthand. We could introduce a separate query for super traits if necessary, but for now I think this should be fine.
* Test for a Salsa bugFlorian Diebold2021-03-211-0/+51
|
* Remove WhereClause::ErrorFlorian Diebold2021-03-201-2/+2
| | | | | Chalk doesn't have it, and judging from the removed code, it wasn't useful anyway.
* Add test for self-calling inner functionJonas Schievink2021-03-171-0/+21
|
* Fix unification logicFlorian Diebold2021-03-151-100/+116
|
* Check ancestor maps when computing traits in scopeJonas Schievink2021-03-091-0/+33
|
* Use upstream cov-markLaurențiu Nicola2021-03-081-3/+2
|
* Don't write trailing whitespace when formatting empty GenericPredicatesLukas Wirth2021-02-201-2/+2
|
* Don't lower TypeBound::Lifetime as GenericPredicate::ErrorLukas Wirth2021-02-201-3/+3
|
* Slightly expand testJonas Schievink2021-02-101-0/+3
|
* Add more testsJonas Schievink2021-02-101-0/+51
|
* Render Fn* trait objects and impl types as rust doesLukas Wirth2021-01-131-4/+4
|
* Implement async blocksoxalica2020-09-101-0/+40
|
* Switch to expect_test from crates.ioAleksey Kladov2020-08-211-1/+1
|
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+3113