aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src
Commit message (Expand)AuthorAgeFilesLines
* Use Chalk Environment more directlyFlorian Diebold2021-03-125-55/+44
* Prefer names from outer DefMap over extern preludeJonas Schievink2021-03-101-0/+29
* Delete `ContainerId`Jonas Schievink2021-03-094-7/+7
* Stop using `ContainerId` in `AssocContainerId`Jonas Schievink2021-03-093-3/+3
* Check ancestor maps when computing traits in scopeJonas Schievink2021-03-091-0/+33
* Use `body.block_scopes` in `hir_ty` testsJonas Schievink2021-03-091-6/+14
* Use `body.block_scopes` to validate inner itemsJonas Schievink2021-03-091-3/+8
* Use upstream cov-markLaurențiu Nicola2021-03-0813-38/+24
* Make two calls virtualLaurențiu Nicola2021-03-051-1/+1
* Use chalk_ir::AdtIdLukas Wirth2021-03-0410-70/+65
* Use chalk_ir::MutabilityLukas Wirth2021-03-019-59/+70
* Introduce Ty::AliasLukas Wirth2021-03-0113-94/+105
* Assert index relationship between type_variable_table and var_unification_tableLukas Wirth2021-03-012-22/+13
* Being Ty::InferenceVar closes to chalk equivalentLukas Wirth2021-03-0110-150/+170
* Merge #7816bors[bot]2021-02-288-81/+93
|\
| * Lift FnPointer into a structLukas Wirth2021-02-288-81/+93
* | hir_ty: use default type generic for box expressionscynecx2021-02-282-0/+61
|/
* Remove Substs from Ty::ForeignTypeLukas Wirth2021-02-285-18/+9
* Turn Ty::Tuple variant into a tuple-variantLukas Wirth2021-02-287-20/+18
* Fix code_model::Type::walk not walking all typesLukas Wirth2021-02-282-19/+18
* Inline TypeCtor into TyLukas Wirth2021-02-2815-832/+644
* Use chalk_ir::Scalar directlyLukas Wirth2021-02-286-197/+78
* Introduce TypeCtor::ScalarLukas Wirth2021-02-289-298/+271
* Add test from #7273Laurențiu Nicola2021-02-211-0/+45
* Don't write trailing whitespace when formatting empty GenericPredicatesLukas Wirth2021-02-202-11/+22
* Don't lower TypeBound::Lifetime as GenericPredicate::ErrorLukas Wirth2021-02-203-23/+21
* Add testLaurențiu Nicola2021-02-201-0/+24
* Wrap `BuiltinType` in code modelJonas Schievink2021-02-112-13/+11
* Add test for #1165Jonas Schievink2021-02-101-0/+29
* Slightly expand testJonas Schievink2021-02-101-0/+3
* Add more testsJonas Schievink2021-02-102-8/+84
* Put the old resolver backJonas Schievink2021-02-101-3/+8
* Update fixed testsJonas Schievink2021-02-102-18/+20
* infer: update resolver when descending into blockJonas Schievink2021-02-102-16/+39
* Infra for "unit" benchmarkingAleksey Kladov2021-02-091-11/+12
* Merge #7602bors[bot]2021-02-082-11/+38
|\
| * Check for dyn impls in method resolutionLukas Wirth2021-02-082-11/+38
* | Update crateskjeremy2021-02-081-2/+3
|/
* Merge #7574bors[bot]2021-02-051-1/+1
|\
| * Remove redundant clonesYoshua Wuyts2021-02-051-1/+1
| |
| \
*-. \ Merge #7570 #7571bors[bot]2021-02-052-161/+151
|\ \ \ | |_|/ |/| |
| | * Cleanup decl_checkLukas Wirth2021-02-052-161/+151
| |/
* / Remove unnecessary allocs in case_convLukas Wirth2021-02-051-18/+16
|/
* Make `ModPath`'s representation privateJonas Schievink2021-02-041-1/+1
* Use block_def_map in body loweringJonas Schievink2021-02-031-1/+1
* Bump chalkLaurențiu Nicola2021-02-021-2/+2
* Revert "Use block_def_map in body lowering"Jonas Schievink2021-02-021-1/+1
* Use block_def_map in body loweringJonas Schievink2021-02-011-1/+1
* Classify function calls as functions when shadowed by typesLukas Wirth2021-01-282-14/+17
* Create all `ModuleId`s through a `DefMap` methodJonas Schievink2021-01-251-1/+1