Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Make Canonical::new a free-standing function | Florian Diebold | 2021-04-07 | 1 | -10/+12 |
| | |||||
* | Move hir_trait_id to extension trait | Florian Diebold | 2021-04-07 | 1 | -7/+1 |
| | |||||
* | Remove Ty::substs{_mut} | Florian Diebold | 2021-04-07 | 1 | -28/+0 |
| | | | | | | Almost all uses actually only care about ADT substs, so it's better to be explicit. The methods were a bad abstraction anyway since they already didn't include the inner types of e.g. `TyKind::Ref` anymore. | ||||
* | Move Ty::builtin_deref | Lukas Wirth | 2021-04-07 | 1 | -8/+0 |
| | |||||
* | Align `InferenceVar` to Chalk | Florian Diebold | 2021-04-06 | 1 | -1/+1 |
| | |||||
* | Move Ty accessors to TyExt | Lukas Wirth | 2021-04-06 | 1 | -211/+3 |
| | |||||
* | Add chalk_ir::Const to TyKind::Array | Lukas Wirth | 2021-04-06 | 1 | -3/+26 |
| | |||||
* | Use a constructor function for Static lifetimes | Lukas Wirth | 2021-04-06 | 1 | -0/+4 |
| | |||||
* | Add Lifetime to TyKind::Ref | Lukas Wirth | 2021-04-06 | 1 | -4/+4 |
| | |||||
* | Align FnPointer with Chalk | Florian Diebold | 2021-04-05 | 1 | -6/+7 |
| | |||||
* | Substitution::prefix -> subst_prefix | Florian Diebold | 2021-04-05 | 1 | -4/+3 |
| | | | | I probably want to get rid of this function completely later. | ||||
* | Get rid of Substitution::suffix | Florian Diebold | 2021-04-05 | 1 | -6/+0 |
| | |||||
* | Remove some unused methods, move some to types.rs | Florian Diebold | 2021-04-05 | 1 | -29/+0 |
| | |||||
* | Binders::wrap_empty -> wrap_empty_binders | Florian Diebold | 2021-04-05 | 1 | -7/+5 |
| | |||||
* | Substitution::single -> from1 | Florian Diebold | 2021-04-05 | 1 | -9/+0 |
| | |||||
* | Move ProjectionTy methods to extension trait | Florian Diebold | 2021-04-05 | 1 | -24/+2 |
| | |||||
* | Replace unused hir_ty::Lifetime with chalk equivalents | Lukas Wirth | 2021-04-05 | 1 | -2/+12 |
| | |||||
* | Rename shift_bound_vars{_out} to align with Chalk | Florian Diebold | 2021-04-05 | 1 | -2/+3 |
| | |||||
* | Add Interner parameter to Binders::substitute | Florian Diebold | 2021-04-05 | 1 | -5/+5 |
| | |||||
* | Binders::subst -> substitute | Florian Diebold | 2021-04-05 | 1 | -4/+4 |
| | |||||
* | Use VariableKinds in Binders | Florian Diebold | 2021-04-05 | 1 | -10/+16 |
| | |||||
* | Hide Binders internals more | Florian Diebold | 2021-04-05 | 1 | -33/+11 |
| | |||||
* | Pass interner to TraitRef::self_type_parameter | Laurențiu Nicola | 2021-04-05 | 1 | -3/+5 |
| | |||||
* | Pass interner to ProjectionTy::self_type_parameter | Laurențiu Nicola | 2021-04-05 | 1 | -3/+3 |
| | |||||
* | Rename TyKind::ForeignType to Foreign | Laurențiu Nicola | 2021-04-05 | 1 | -2/+2 |
| | |||||
* | Rename TyKind::Unknown to Error | Laurențiu Nicola | 2021-04-05 | 1 | -1/+1 |
| | |||||
* | Move things from `traits` module to `types` as well | Florian Diebold | 2021-04-04 | 1 | -1/+1 |
| | |||||
* | Move things in hir_ty into submodules | Florian Diebold | 2021-04-04 | 1 | -680/+15 |
| | | | | | - all the types that will be replaced by Chalk go to `types` - `TypeWalk` impls go to `walk` | ||||
* | Replace Substitution::type_params | Florian Diebold | 2021-04-04 | 1 | -7/+1 |
| | |||||
* | Replace Substitution::bound_vars and ::type_params_for_generics | Florian Diebold | 2021-04-04 | 1 | -26/+2 |
| | |||||
* | Move TyBuilder to its own module | Florian Diebold | 2021-04-04 | 1 | -204/+10 |
| | |||||
* | Replace last uses of SubstsBuilder by TyBuilder | Florian Diebold | 2021-04-04 | 1 | -50/+16 |
| | |||||
* | Remove CallableSig::from_substs | Florian Diebold | 2021-04-04 | 1 | -11/+1 |
| | |||||
* | Some more TyBuilder use | Florian Diebold | 2021-04-04 | 1 | -4/+0 |
| | |||||
* | Replace remaining uses of Substitution::build_for_def | Florian Diebold | 2021-04-04 | 1 | -8/+38 |
| | |||||
* | Add and start using TraitRef and ProjectionTy builders | Florian Diebold | 2021-04-04 | 1 | -0/+29 |
| | |||||
* | Move Ty::builtin to TyBuilder | Florian Diebold | 2021-04-04 | 1 | -17/+17 |
| | |||||
* | Add TyBuilder::adt | Florian Diebold | 2021-04-04 | 1 | -5/+82 |
| | |||||
* | Move Ty::fn_ptr to TyBuilder | Florian Diebold | 2021-04-04 | 1 | -7/+7 |
| | |||||
* | Add TyBuilder::unit() and TyExt::is_unit() | Florian Diebold | 2021-04-04 | 1 | -5/+5 |
| | |||||
* | Add TyBuilder | Florian Diebold | 2021-04-04 | 1 | -0/+6 |
| | |||||
* | Rename Ty::interned to Ty::kind | Florian Diebold | 2021-04-03 | 1 | -20/+20 |
| | | | | ... since that's the actual method on Chalk side that matches the signature. | ||||
* | Introduce `GenericArg` like in Chalk | Florian Diebold | 2021-04-03 | 1 | -48/+125 |
| | | | | | | | Plus some more adaptations to Substitution. Lots of `assert_ty_ref` that we should revisit when introducing lifetime/const parameters. | ||||
* | completion relevance consider if types can be unified | Josh Mcguigan | 2021-03-26 | 1 | -1/+1 |
| | |||||
* | Fix chalk_ir assertion | Florian Diebold | 2021-03-24 | 1 | -7/+26 |
| | | | | Fixes #8150. | ||||
* | Align Canonical more with Chalk's version | Florian Diebold | 2021-03-21 | 1 | -2/+10 |
| | | | | In particular, use chalk_ir::CanonicalVarKinds. | ||||
* | Use QuantifiedWhereClause in generic_predicates as well | Florian Diebold | 2021-03-21 | 1 | -2/+5 |
| | | | | | 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 | -16/+57 |
| | | | | | 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. | ||||
* | Ignore type bindings in generic_predicates_for_param | Florian Diebold | 2021-03-21 | 1 | -2/+11 |
| | | | | | | | | | | | | | 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/+4 |
| |