Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Resolve prelude and crate root names in the root DefMap | Jonas Schievink | 2021-04-09 | 1 | -0/+30 |
| | |||||
* | Fix generic arguments being incorrectly offset in qualified trait casts | Lukas Wirth | 2021-03-30 | 1 | -0/+43 |
| | |||||
* | Merge #7907 | bors[bot] | 2021-03-24 | 1 | -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 public | cynecx | 2021-03-20 | 1 | -2/+2 |
| | | |||||
* | | Correctly lower TraitRefs with default params | Lukas Wirth | 2021-03-22 | 1 | -0/+46 |
| | | |||||
* | | Ignore type bindings in generic_predicates_for_param | Florian Diebold | 2021-03-21 | 1 | -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 bug | Florian Diebold | 2021-03-21 | 1 | -0/+51 |
|/ | |||||
* | Remove WhereClause::Error | Florian Diebold | 2021-03-20 | 1 | -2/+2 |
| | | | | | Chalk doesn't have it, and judging from the removed code, it wasn't useful anyway. | ||||
* | Add test for self-calling inner function | Jonas Schievink | 2021-03-17 | 1 | -0/+21 |
| | |||||
* | Fix unification logic | Florian Diebold | 2021-03-15 | 1 | -100/+116 |
| | |||||
* | Check ancestor maps when computing traits in scope | Jonas Schievink | 2021-03-09 | 1 | -0/+33 |
| | |||||
* | Use upstream cov-mark | Laurențiu Nicola | 2021-03-08 | 1 | -3/+2 |
| | |||||
* | Don't write trailing whitespace when formatting empty GenericPredicates | Lukas Wirth | 2021-02-20 | 1 | -2/+2 |
| | |||||
* | Don't lower TypeBound::Lifetime as GenericPredicate::Error | Lukas Wirth | 2021-02-20 | 1 | -3/+3 |
| | |||||
* | Slightly expand test | Jonas Schievink | 2021-02-10 | 1 | -0/+3 |
| | |||||
* | Add more tests | Jonas Schievink | 2021-02-10 | 1 | -0/+51 |
| | |||||
* | Render Fn* trait objects and impl types as rust does | Lukas Wirth | 2021-01-13 | 1 | -4/+4 |
| | |||||
* | Implement async blocks | oxalica | 2020-09-10 | 1 | -0/+40 |
| | |||||
* | Switch to expect_test from crates.io | Aleksey Kladov | 2020-08-21 | 1 | -1/+1 |
| | |||||
* | Rename ra_hir_ty -> hir_ty | Aleksey Kladov | 2020-08-13 | 1 | -0/+3113 |