Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | 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 | |
| | ||||||
* | 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 | 2 | -5/+5 | |
| | ||||||
* | Add test for #1165 | Jonas Schievink | 2021-02-10 | 1 | -0/+29 | |
| | | | | Closes #1165 | |||||
* | Slightly expand test | Jonas Schievink | 2021-02-10 | 1 | -0/+3 | |
| | ||||||
* | Add more tests | Jonas Schievink | 2021-02-10 | 2 | -8/+84 | |
| | ||||||
* | Update fixed tests | Jonas Schievink | 2021-02-10 | 1 | -3/+6 | |
| | ||||||
* | infer: update resolver when descending into block | Jonas Schievink | 2021-02-10 | 1 | -0/+19 | |
| | ||||||
* | Infra for "unit" benchmarking | Aleksey Kladov | 2021-02-09 | 1 | -11/+12 | |
| | ||||||
* | Check for dyn impls in method resolution | Lukas Wirth | 2021-02-08 | 1 | -0/+22 | |
| | ||||||
* | Handle box with allocator | Thiébaud Weksteen | 2021-01-22 | 1 | -0/+24 | |
| | | | | | | | | In 1.49.0, the definition of Box was modified to support an optional Allocator[1]. Adapt the parsing of the `box` keyword to supply the expected number of parameters to the constructor. [1] https://github.com/rust-lang/rust/commit/f288cd2e179f600fa00c2a407206a12f6c5a91e0 | |||||
* | Render Fn* trait objects and impl types as rust does | Lukas Wirth | 2021-01-13 | 2 | -4/+19 | |
| | ||||||
* | Proper handling $crate Take 2 | Edwin Cheng | 2021-01-07 | 1 | -0/+31 | |
| | ||||||
* | Revert "Proper handling $crate and local_inner_macros" | Jonas Schievink | 2021-01-03 | 1 | -31/+0 | |
| | ||||||
* | Fixed nested eager macro bug | Edwin Cheng | 2021-01-03 | 1 | -0/+46 | |
| | ||||||
* | Merge #7133 | bors[bot] | 2021-01-02 | 1 | -0/+31 | |
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | 7133: Proper handling $crate and local_inner_macros r=jonas-schievink a=edwin0cheng This PR introduces `HygineFrames` to store the macro definition/call site hierarchy in hyginee and when resolving `local_inner_macros` and `$crate`, we use the token to look up the corresponding frame and return the correct value. See also: https://rustc-dev-guide.rust-lang.org/macro-expansion.html#hygiene-and-hierarchies fixe #6890 and #6788 r? @jonas-schievink Co-authored-by: Edwin Cheng <[email protected]> | |||||
| * | Introduce HygieneFrames for proper token hyginee | Edwin Cheng | 2021-01-02 | 1 | -0/+31 | |
| | | ||||||
* | | Merge #7134 | bors[bot] | 2021-01-02 | 1 | -0/+18 | |
|\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 7134: Fix infer error of macro invocation in array expr r=edwin0cheng a=edwin0cheng Fixed following infer error: ```rust macro_rules! bar { () => {0u32} } fn test() { let a = [bar!()]; // a : [unknown] } ``` bors r+ Co-authored-by: Edwin Cheng <[email protected]> | |||||
| * | | Fix infer error of macro invocation in array expr | Edwin Cheng | 2021-01-02 | 1 | -0/+18 | |
| |/ | ||||||
* | | Add ConstParams to the ide layer | Lukas Wirth | 2021-01-01 | 1 | -1/+0 | |
| | | ||||||
* | | Add ConstParams to the HIR | Lukas Wirth | 2021-01-01 | 1 | -0/+17 | |
|/ | ||||||
* | Implement const block inference | Lukas Wirth | 2020-12-23 | 1 | -4/+9 | |
| | ||||||
* | Implement const pat inference | Lukas Wirth | 2020-12-23 | 1 | -0/+30 | |
| | ||||||
* | Make macro def krate mandatory | Jonas Schievink | 2020-12-15 | 1 | -0/+6 | |
| | | | | Refactors builtin derive support to go through proper name resolution | |||||
* | Move to upstream `macro_rules!` model | Jonas Schievink | 2020-12-15 | 1 | -1/+0 | |
| | ||||||
* | Add regression test | Edwin Cheng | 2020-12-15 | 1 | -0/+24 | |
| |