aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/tests/traits.rs
Commit message (Collapse)AuthorAgeFilesLines
* Fix generic arguments being incorrectly offset in qualified trait castsLukas Wirth2021-03-301-0/+43
|
* Merge #7907bors[bot]2021-03-241-2/+2
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 7907: Autoderef with visibility r=cynecx a=cynecx Fixes https://github.com/rust-analyzer/rust-analyzer/issues/7841. I am not sure about the general approach here. Right now this simply tries to check whether the autoderef candidate is reachable from the current module. ~~However this doesn't exactly work with traits (see the `tests::macros::infer_derive_clone_in_core` test, which fails right now).~~ see comment below Refs: - `rustc_typeck` checking fields: https://github.com/rust-lang/rust/blob/66ec64ccf31883cd2c28d045912a76179c0c6ed2/compiler/rustc_typeck/src/check/expr.rs#L1610 r? @flodiebold Co-authored-by: cynecx <[email protected]>
| * 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
| | | | | | | | | | | | | | | | | | | | | | | | | | 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