Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Add a test for conditionally compiled tails | Daniel McNab | 2021-05-03 | 1 | -0/+49 | |
|/ | ||||||
* | Don't look in super traits for <T as Trait>::Assoc | Florian Diebold | 2021-04-29 | 1 | -0/+8 | |
| | | | | | | | This isn't actually how it works, you have to specify the exact trait that has the associated type. Fixes #8686. | |||||
* | Add test for #8686 | Florian Diebold | 2021-04-29 | 1 | -0/+30 | |
| | ||||||
* | fix: closure unify without check ClosureId | Comonad | 2021-04-29 | 1 | -0/+36 | |
| | | | | closes #8604 | |||||
* | Merge #8462 | bors[bot] | 2021-04-19 | 1 | -0/+199 | |
|\ | | | | | | | | | | | | | | | 8462: Expand macros at type position r=jonas-schievink a=cynecx Co-authored-by: cynecx <[email protected]> | |||||
| * | hir_ty: cleanups and extend infinitely_recursive_macro_type test | cynecx | 2021-04-18 | 1 | -5/+9 | |
| | | ||||||
| * | hir_ty: keep body::Expander in TyLoweringContext | cynecx | 2021-04-18 | 1 | -0/+26 | |
| | | ||||||
| * | hir_ty: Expand macros at type position | cynecx | 2021-04-17 | 1 | -0/+169 | |
| | | ||||||
* | | Collect inherent impls in unnamed consts | Jonas Schievink | 2021-04-19 | 1 | -1/+36 | |
|/ | ||||||
* | Fix primitive shadowing with inner items | Jonas Schievink | 2021-04-16 | 1 | -0/+18 | |
| | ||||||
* | Support macros in pattern position | Jonas Schievink | 2021-04-11 | 2 | -2/+28 | |
| | ||||||
* | Respect test style guidelines in tests::traits | Lukas Wirth | 2021-04-10 | 1 | -698/+656 | |
| | ||||||
* | Add test for binary op return ty with adt | Lukas Wirth | 2021-04-10 | 1 | -0/+47 | |
| | ||||||
* | Add manual ops::Add impls to test::traits::closure_2 | Lukas Wirth | 2021-04-10 | 1 | -20/+46 | |
| | ||||||
* | Implement more precise binary op return type prediction | Lukas Wirth | 2021-04-10 | 1 | -5/+5 | |
| | ||||||
* | Resolve prelude and crate root names in the root DefMap | Jonas Schievink | 2021-04-09 | 1 | -0/+30 | |
| | ||||||
* | Fix crash on syn involving lifetimes returned by Chalk | Florian Diebold | 2021-04-09 | 1 | -0/+38 | |
| | | | | | | | | | | If we get lifetime variables back in autoderef, just immediately replace them by static lifetimes for now. Method resolution doesn't really deal correctly with new variables being introduced (this needs to be fixed more properly). This fixes `rust-analyzer analysis-stats --with-deps` crashing in the RA repo. | |||||
* | Merge #8394 | bors[bot] | 2021-04-07 | 1 | -0/+33 | |
|\ | | | | | | | | | | | | | | | 8394: Infer variants through type aliased enums r=Veykril a=Veykril bors r+ Co-authored-by: Lukas Wirth <[email protected]> | |||||
| * | Infer variants through type aliased enums | Lukas Wirth | 2021-04-07 | 1 | -0/+33 | |
| | | ||||||
* | | Collect trait impls inside unnamed consts | Jonas Schievink | 2021-04-07 | 1 | -0/+22 | |
|/ | ||||||
* | Fix block inner item defined in macro | Edwin Cheng | 2021-03-31 | 1 | -0/+26 | |
| | ||||||
* | Fix generic arguments being incorrectly offset in qualified trait casts | Lukas Wirth | 2021-03-30 | 1 | -0/+43 | |
| | ||||||
* | Basic Support Macro 2.0 | Edwin Cheng | 2021-03-27 | 1 | -1/+82 | |
| | ||||||
* | Fix recursive macro statement expansion | Edwin Cheng | 2021-03-25 | 1 | -1/+39 | |
| | ||||||
* | Merge #7907 | bors[bot] | 2021-03-24 | 4 | -20/+139 | |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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: add coverage testing for autoderef_visibility_method test | cynecx | 2021-03-20 | 1 | -0/+1 | |
| | | ||||||
| * | hir_ty: fix test by removing trailing whitespace | cynecx | 2021-03-20 | 1 | -24/+23 | |
| | | ||||||
| * | hir_ty: fix visibility in infer_inherent_method test | cynecx | 2021-03-20 | 1 | -16/+16 | |
| | | ||||||
| * | hir_ty: add tests around autoderef with visibility checking | cynecx | 2021-03-20 | 1 | -0/+119 | |
| | | ||||||
| * | hir_ty: fix tests by making required methods public | cynecx | 2021-03-20 | 2 | -4/+4 | |
| | | ||||||
* | | Merge #8156 | bors[bot] | 2021-03-22 | 1 | -0/+46 | |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 8156: Correctly lower TraitRefs with default params r=flodiebold a=Veykril Fixes #5685 Co-authored-by: Lukas Wirth <[email protected]> | |||||
| * | | Correctly lower TraitRefs with default params | Lukas Wirth | 2021-03-22 | 1 | -0/+46 | |
| | | | ||||||
* | | | resolver: manually traverse nested block scopes | Jonas Schievink | 2021-03-22 | 1 | -0/+13 | |
|/ / | ||||||
* | | Merge #8137 | bors[bot] | 2021-03-21 | 1 | -0/+22 | |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 8137: Fix box pattern inference panic r=flodiebold a=Veykril Fixes #6560 Co-authored-by: Lukas Wirth <[email protected]> | |||||
| * | | Fix box pattern inference panic | Lukas Wirth | 2021-03-21 | 1 | -0/+22 | |
| |/ | ||||||
* | | Merge #8134 | bors[bot] | 2021-03-21 | 1 | -0/+23 | |
|\ \ | | | | | | | | | | | | | | | | | | | | | | 8134: Correct the paths of submodules from the include! macro r=edwin0cheng a=sticnarf This PR should fix #7846. It mostly follows the instructions from @edwin0cheng in that issue. Co-authored-by: Yilin Chen <[email protected]> | |||||
| * | | use the included file as the source of expanded include macro | Yilin Chen | 2021-03-21 | 1 | -0/+23 | |
| |/ | | | | | | | Signed-off-by: Yilin Chen <[email protected]> | |||||
* | | 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. | |||||
* | Merge #8082 | bors[bot] | 2021-03-18 | 1 | -0/+22 | |
|\ | | | | | | | | | | | | | | | | | | | | | | | 8082: Proper handle inner recursive macro rules cases r=edwin0cheng a=edwin0cheng Fixes #7645 cc @jonas-schievink bors r+ Co-authored-by: Edwin Cheng <[email protected]> | |||||
| * | Handle inner recursive macro rules cases | Edwin Cheng | 2021-03-18 | 1 | -0/+22 | |
| | | ||||||
* | | Support `#[cfg]` on all associated items | Jonas Schievink | 2021-03-18 | 1 | -0/+19 | |
| | | ||||||
* | | Add test for self-calling inner function | Jonas Schievink | 2021-03-17 | 1 | -0/+21 | |
|/ | ||||||
* | Fix macro expansion for statements w/o semicolon | Edwin Cheng | 2021-03-16 | 1 | -0/+16 | |
| | ||||||
* | 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 | 6 | -15/+10 | |
| | ||||||
* | hir_ty: use default type generic for box expressions | cynecx | 2021-02-28 | 1 | -0/+55 | |
| | ||||||
* | Add test from #7273 | Laurențiu Nicola | 2021-02-21 | 1 | -0/+45 | |
| |