aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src
Commit message (Expand)AuthorAgeFilesLines
* Rename Substs -> SubstitutionFlorian Diebold2021-03-1614-143/+155
*-. Merge #7900 #8000bors[bot]2021-03-164-13/+200
|\ \
| | * Use hir formatter moreoxalica2021-03-151-1/+1
| | * Impl HirDisplay for function hover messageoxalica2021-03-151-8/+195
| | * Introduce FunctionQualifier for hir::FunctionDataoxalica2021-03-152-4/+4
* | | Fix macro expansion for statements w/o semicolonEdwin Cheng2021-03-161-0/+16
* | | Use SmallVec for SubstsFlorian Diebold2021-03-153-14/+29
* | | Fix unification logicFlorian Diebold2021-03-152-101/+117
| |/ |/|
* | Merge #8020bors[bot]2021-03-151-1/+9
|\ \
| * | Speedup trait impl search for goto_implementationLukas Wirth2021-03-151-1/+9
* | | Merge #8018bors[bot]2021-03-1510-137/+126
|\ \ \
| * | | Don't use Substs for Ref/Raw/Array/SliceFlorian Diebold2021-03-149-111/+74
| * | | Make Ty wrap TyKind in an ArcFlorian Diebold2021-03-148-27/+53
| |/ /
* / / Simplify source maps for fieldsAleksey Kladov2021-03-152-6/+5
|/ /
* | More renamingFlorian Diebold2021-03-144-18/+22
* | Use chalk_ir::FnSigFlorian Diebold2021-03-145-21/+22
* | Rename some fields to their Chalk namesFlorian Diebold2021-03-1410-45/+45
* | Move type lowering methods to TyLoweringContextFlorian Diebold2021-03-134-286/+246
* | Create TraitEnvironment through a queryFlorian Diebold2021-03-134-45/+59
* | Use chalk_ir::OpaqueTyIdFlorian Diebold2021-03-137-63/+53
* | Use chalk_ir::PlaceholderIndexFlorian Diebold2021-03-137-43/+52
* | Use chalk_ir::ClosureIdFlorian Diebold2021-03-135-23/+17
* | Use chalk_ir::FnDefIdFlorian Diebold2021-03-139-26/+47
* | Use chalk_ir::AssocTypeIdFlorian Diebold2021-03-139-74/+82
* | Use chalk_ir::ForeignDefIdFlorian Diebold2021-03-136-38/+32
* | Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-1318-583/+718
* | Remove `ItemTree::source`Jonas Schievink2021-03-121-6/+4
|/
* Simplify a bitFlorian Diebold2021-03-121-10/+5
* 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