aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/tests/traits.rs
Commit message (Expand)AuthorAgeFilesLines
* internal: document that we don't #[ignore] testsAleksey Kladov2021-06-151-1/+0
* Make block-local trait impls workFlorian Diebold2021-06-131-0/+67
* Implement per-edition preludesJonas Schievink2021-06-011-16/+32
* hir_ty: don't pass where clauses of associated types down to chalk (temp. fix...cynecx2021-05-301-8/+23
* hir_ty: use async ret type for inference inside async bodiescynecx2021-05-291-0/+49
* Consider trait to be in scope for trait-implLukas Wirth2021-05-251-0/+30
* Merge #8987bors[bot]2021-05-251-2/+24
|\
| * Hide `-> ()` in Fn traitsFlorian Diebold2021-05-251-3/+3
| * Fix lowering of FnOnce() without return typeFlorian Diebold2021-05-251-5/+27
* | Fix type inference not working for new Try traitLukas Wirth2021-05-251-0/+37
|/
* Get rid of resolve_ty_as_possibleFlorian Diebold2021-05-211-1/+1
* Add more tests, refactor array lengths/consteval workJade2021-05-141-0/+97
* Add basic support for array lengths in typesJade2021-05-111-1/+1
* Respect test style guidelines in tests::traitsLukas Wirth2021-04-101-698/+656
* Add test for binary op return ty with adtLukas Wirth2021-04-101-0/+47
* Add manual ops::Add impls to test::traits::closure_2Lukas Wirth2021-04-101-20/+46
* Implement more precise binary op return type predictionLukas Wirth2021-04-101-5/+5
* Resolve prelude and crate root names in the root DefMapJonas Schievink2021-04-091-0/+30
* Fix generic arguments being incorrectly offset in qualified trait castsLukas Wirth2021-03-301-0/+43
* Merge #7907bors[bot]2021-03-241-2/+2
|\
| * hir_ty: fix tests by making required methods publiccynecx2021-03-201-2/+2
* | Correctly lower TraitRefs with default paramsLukas Wirth2021-03-221-0/+46
* | Ignore type bindings in generic_predicates_for_paramFlorian Diebold2021-03-211-3/+2
* | Test for a Salsa bugFlorian Diebold2021-03-211-0/+51
|/
* Remove WhereClause::ErrorFlorian Diebold2021-03-201-2/+2
* 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