Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add chalk_ir::Const to TyKind::Array | Lukas Wirth | 2021-04-06 | 1 | -2/+2 |
| | |||||
* | Use a constructor function for Static lifetimes | Lukas Wirth | 2021-04-06 | 1 | -6/+5 |
| | |||||
* | Add Lifetime to DynTy | Lukas Wirth | 2021-04-06 | 1 | -1/+3 |
| | |||||
* | Add Lifetime to TyKind::Ref | Lukas Wirth | 2021-04-06 | 1 | -2/+4 |
| | |||||
* | Fix shifting of binders in FnPointer | Florian Diebold | 2021-04-05 | 1 | -2/+3 |
| | | | | | | | | | - don't shift in/out for Chalk mapping (we want to have the same binders now) - do shift in when creating the signature for a closure (though it shouldn't matter much) - do shift in when lowering a `fn()` type - correctly deal with the implied binder in TypeWalk | ||||
* | Align FnPointer with Chalk | Florian Diebold | 2021-04-05 | 1 | -5/+5 |
| | |||||
* | Binders::wrap_empty -> wrap_empty_binders | Florian Diebold | 2021-04-05 | 1 | -3/+5 |
| | |||||
* | Rename shift_bound_vars{_out} to align with Chalk | Florian Diebold | 2021-04-05 | 1 | -9/+9 |
| | |||||
* | Get rid of subst_bound_vars uses | Florian Diebold | 2021-04-05 | 1 | -1/+1 |
| | |||||
* | Get rid of some walk_mut uses | Florian Diebold | 2021-04-05 | 1 | -4/+6 |
| | |||||
* | Add Interner parameter to Binders::substitute | Florian Diebold | 2021-04-05 | 1 | -4/+4 |
| | |||||
* | Binders::subst -> substitute | Florian Diebold | 2021-04-05 | 1 | -4/+4 |
| | |||||
* | Use VariableKinds in Binders | Florian Diebold | 2021-04-05 | 1 | -41/+41 |
| | |||||
* | Hide Binders internals more | Florian Diebold | 2021-04-05 | 1 | -10/+13 |
| | |||||
* | Pass interner to TraitRef::self_type_parameter | Laurențiu Nicola | 2021-04-05 | 1 | -1/+2 |
| | |||||
* | Rename TyKind::ForeignType to Foreign | Laurențiu Nicola | 2021-04-05 | 1 | -1/+1 |
| | |||||
* | Rename TyKind::Unknown to Error | Laurențiu Nicola | 2021-04-05 | 1 | -19/+19 |
| | |||||
* | Replace Substitution::type_params | Florian Diebold | 2021-04-04 | 1 | -3/+4 |
| | |||||
* | Replace Substitution::bound_vars and ::type_params_for_generics | Florian Diebold | 2021-04-04 | 1 | -16/+8 |
| | |||||
* | Use TyBuilder in another place | Florian Diebold | 2021-04-04 | 1 | -4/+3 |
| | |||||
* | Move Ty::builtin to TyBuilder | Florian Diebold | 2021-04-04 | 1 | -1/+1 |
| | |||||
* | Add TyBuilder::adt | Florian Diebold | 2021-04-04 | 1 | -4/+5 |
| | |||||
* | Use bitflags to compress function properties | Jonas Schievink | 2021-04-03 | 1 | -1/+1 |
| | | | | Very minor savings, only 1 MB or so | ||||
* | Introduce `GenericArg` like in Chalk | Florian Diebold | 2021-04-03 | 1 | -8/+9 |
| | | | | | | | Plus some more adaptations to Substitution. Lots of `assert_ty_ref` that we should revisit when introducing lifetime/const parameters. | ||||
* | Merge #8284 | bors[bot] | 2021-04-02 | 1 | -1/+1 |
|\ | | | | | | | | | | | | | | | 8284: Reduce memory usage by using global `Arc`-based interning r=jonas-schievink a=jonas-schievink This saves around 50 mb when running `analysis-stats` on r-a itself. Not a lot, but this infra can be easily reused to intern more stuff. Co-authored-by: Jonas Schievink <[email protected]> | ||||
| * | Global TypeRef/TraitRef interning | Jonas Schievink | 2021-04-01 | 1 | -1/+1 |
| | | |||||
* | | Don't allocate in `associated_type_shorthand_candidates` | Lukas Wirth | 2021-04-02 | 1 | -36/+33 |
| | | |||||
* | | Resolve associated types with type anchors | Lukas Wirth | 2021-04-01 | 1 | -1/+1 |
|/ | |||||
* | Remove TraitRef::Error | Lukas Wirth | 2021-03-29 | 1 | -4/+1 |
| | |||||
* | Rename target_ty to self_ty | Lukas Wirth | 2021-03-29 | 1 | -1/+1 |
| | |||||
* | Lower traits to TraitRef instead of TypeRef | Lukas Wirth | 2021-03-29 | 1 | -7/+6 |
| | |||||
* | Fix chalk_ir assertion | Florian Diebold | 2021-03-24 | 1 | -4/+7 |
| | | | | Fixes #8150. | ||||
* | Correctly lower TraitRefs with default params | Lukas Wirth | 2021-03-22 | 1 | -8/+17 |
| | |||||
* | Use QuantifiedWhereClause in generic_predicates as well | Florian Diebold | 2021-03-21 | 1 | -12/+6 |
| | | | | | Still far too much binder skipping going on; I find it hard to imagine this is all correct, but the tests pass. | ||||
* | Introduce QuantifiedWhereClause and DynTy analogous to Chalk | Florian Diebold | 2021-03-21 | 1 | -19/+36 |
| | | | | | This introduces a bunch of new binders in lots of places, which we have to be careful about, but we had to add them at some point. | ||||
* | Merge #8133 | bors[bot] | 2021-03-21 | 1 | -6/+19 |
|\ | | | | | | | | | | | | | | | | | | | 8133: Ignore type bindings in generic_predicates_for_param (fix panic on ena and crates depending on it) r=flodiebold a=flodiebold 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. Co-authored-by: Florian Diebold <[email protected]> | ||||
| * | Ignore type bindings in generic_predicates_for_param | Florian Diebold | 2021-03-21 | 1 | -6/+19 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | 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. | ||||
* | | remove more redundant clones (clippy::redundant_clone()) | Matthias Krüger | 2021-03-21 | 1 | -2/+1 |
|/ | |||||
* | Remove WhereClause::Error | Florian Diebold | 2021-03-20 | 1 | -5/+2 |
| | | | | | Chalk doesn't have it, and judging from the removed code, it wasn't useful anyway. | ||||
* | Rename GenericPredicate -> WhereClause | Florian Diebold | 2021-03-20 | 1 | -20/+17 |
| | |||||
* | Replace Projection variant in GenericPredicate with AliasEq | Lukas Wirth | 2021-03-19 | 1 | -5/+5 |
| | |||||
* | Chalkify TraitRef | Florian Diebold | 2021-03-18 | 1 | -11/+11 |
| | |||||
* | Rename Substs -> Substitution | Florian Diebold | 2021-03-16 | 1 | -21/+25 |
| | |||||
* | Use SmallVec for Substs | Florian Diebold | 2021-03-15 | 1 | -4/+5 |
| | | | | | Doesn't help as much as I hoped, but it helps a bit and I also did some refactorings that were necessary anyway. | ||||
* | Don't use Substs for Ref/Raw/Array/Slice | Florian Diebold | 2021-03-14 | 1 | -6/+4 |
| | |||||
* | Make Ty wrap TyKind in an Arc | Florian Diebold | 2021-03-14 | 1 | -1/+1 |
| | | | | | | | | ... like it will be in Chalk. We still keep `interned_mut` and `into_inner` methods that will probably not exist with Chalk. This worsens performance slightly (5ginstr inference on RA), but doesn't include other simplifications we can do yet. | ||||
* | More renaming | Florian Diebold | 2021-03-14 | 1 | -2/+5 |
| | |||||
* | Use chalk_ir::FnSig | Florian Diebold | 2021-03-14 | 1 | -2/+2 |
| | |||||
* | Rename some fields to their Chalk names | Florian Diebold | 2021-03-14 | 1 | -6/+6 |
| | |||||
* | Move type lowering methods to TyLoweringContext | Florian Diebold | 2021-03-13 | 1 | -275/+235 |
| |