Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 <lukastw97@gmail.com> | ||||
| * | 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 <lukastw97@gmail.com> | ||||
| * | 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 <sticnarf@gmail.com> | ||||
| * | | use the included file as the source of expanded include macro | Yilin Chen | 2021-03-21 | 1 | -0/+23 |
| |/ | | | | | | | Signed-off-by: Yilin Chen <sticnarf@gmail.com> | ||||
* | | 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 <edwin0cheng@gmail.com> | ||||
| * | 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 <edwin0cheng@gmail.com> | ||||
| * | 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 <edwin0cheng@gmail.com> | ||||
| * | | 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 |
| | |||||
* | Add test for #6852 | Florian Diebold | 2020-12-13 | 1 | -0/+37 |
| | |||||
* | Infer labeled blocks | Lukas Wirth | 2020-12-11 | 1 | -0/+56 |
| | |||||
* | Upgrade Chalk | Florian Diebold | 2020-12-07 | 1 | -0/+43 |
| | | | | | | | Also make overflow depth and max type size configurable through env variables. This can be helpful at least for debugging. Fixes #6628. | ||||
* | Use correct, full substs for self type in impl | Florian Diebold | 2020-12-04 | 1 | -0/+19 |
| | | | | | | | | Without arbitrary self types, the self type could never refer to the method type parameters, so this wasn't a problem; but with arbitrary self types, it can. This fixes the crash from #6668; but it doesn't make method resolution work for these methods. | ||||
* | Properly infer tuple struct patterns when encountering ellipsis | Lukas Wirth | 2020-11-24 | 1 | -0/+48 |
| |