aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/infer/unify.rs
Commit message (Collapse)AuthorAgeFilesLines
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-8/+5
| | | | This includes starting to make use of Chalk's `Cast` trait.
* Rename GenericPredicate -> WhereClauseFlorian Diebold2021-03-201-11/+6
|
* Replace Projection variant in GenericPredicate with AliasEqLukas Wirth2021-03-191-12/+23
|
* Chalkify TraitRefFlorian Diebold2021-03-181-2/+2
|
* Rename Substs -> SubstitutionFlorian Diebold2021-03-161-8/+8
|
* Fix unification logicFlorian Diebold2021-03-151-1/+1
|
* Don't use Substs for Ref/Raw/Array/SliceFlorian Diebold2021-03-141-5/+19
|
* Make Ty wrap TyKind in an ArcFlorian Diebold2021-03-141-2/+2
| | | | | | | | ... 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.
* Rename some fields to their Chalk namesFlorian Diebold2021-03-141-3/+3
|
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-44/+61
| | | | | Currently `Ty` just wraps `TyKind`, but this allows us to change most places to already use `intern` / `interned`.
* Use upstream cov-markLaurențiu Nicola2021-03-081-5/+3
|
* Introduce Ty::AliasLukas Wirth2021-03-011-3/+3
|
* Assert index relationship between type_variable_table and var_unification_tableLukas Wirth2021-03-011-20/+11
|
* Being Ty::InferenceVar closes to chalk equivalentLukas Wirth2021-03-011-74/+119
|
* Inline TypeCtor into TyLukas Wirth2021-02-281-24/+14
|
* Introduce TypeCtor::ScalarLukas Wirth2021-02-281-6/+20
|
* Remove more unreachable pubsAleksey Kladov2020-11-021-1/+1
|
* Deny unreachable-pubAleksey Kladov2020-11-021-13/+22
| | | | | | | | It's very useful when `pub` is equivalent to "this is crate's public API", let's enforce this! Ideally, we should enforce it for local `cargo test`, and only during CI, but that needs https://github.com/rust-lang/cargo/issues/5034.
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+474