aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src
Commit message (Expand)AuthorAgeFilesLines
...
* fix: closure unify without check ClosureIdComonad2021-04-292-0/+40
* Merge #8462bors[bot]2021-04-193-8/+275
|\
| * hir_ty: cleanups and extend infinitely_recursive_macro_type testcynecx2021-04-182-8/+14
| * hir_ty: keep body::Expander in TyLoweringContextcynecx2021-04-182-14/+83
| * hir_def: refactor expand_macro_type and cleanupscynecx2021-04-171-3/+3
| * hir_ty: deal with TypeRef::Macro in HirFormattercynecx2021-04-171-2/+15
| * hir_ty: Expand macros at type positioncynecx2021-04-173-2/+181
* | Collect inherent impls in unnamed constsJonas Schievink2021-04-192-17/+62
|/
* Merge #8539bors[bot]2021-04-162-1/+2
|\
| * Exclude inherent traits from flyimportsKirill Bulatov2021-04-162-1/+2
* | Fix primitive shadowing with inner itemsJonas Schievink2021-04-161-0/+18
|/
* Profile trait solving for all invocationsKirill Bulatov2021-04-142-5/+19
* Better places for spansKirill Bulatov2021-04-141-2/+1
* We need to go deeperKirill Bulatov2021-04-141-1/+5
* Add a missing spanKirill Bulatov2021-04-141-0/+2
* decl_check: follow test style guideJonas Schievink2021-04-131-60/+59
* Merge #8432bors[bot]2021-04-131-14/+140
|\
| * address review feedbackJade2021-04-131-21/+35
| * decl_check: consider outer scopes' allowsJade2021-04-081-10/+122
* | Remove assertion in impl collectionFlorian Diebold2021-04-111-4/+3
* | Merge #8465bors[bot]2021-04-111-3/+3
|\ \
| * | Include more info in assertJonas Schievink2021-04-111-3/+3
* | | Support macros in pattern positionJonas Schievink2021-04-112-2/+28
|/ /
* | Respect test style guidelines in tests::traitsLukas Wirth2021-04-101-698/+656
* | Add test for binary op return ty with adtLukas Wirth2021-04-101-0/+47
* | Add manual ops::Add impls to test::traits::closure_2Lukas Wirth2021-04-101-20/+46
* | Implement more precise binary op return type predictionLukas Wirth2021-04-102-17/+51
* | Resolve prelude and crate root names in the root DefMapJonas Schievink2021-04-091-0/+30
* | More cleanups / module docsFlorian Diebold2021-04-096-10/+12
* | More cleanupsFlorian Diebold2021-04-093-38/+29
* | More moving stuff aroundFlorian Diebold2021-04-094-78/+74
* | Move some more stuff to better placesFlorian Diebold2021-04-092-100/+93
* | Move ToChalk -> mappingFlorian Diebold2021-04-0910-37/+76
* | Reorganize hir_ty modulesFlorian Diebold2021-04-0910-100/+73
* | Merge #8406bors[bot]2021-04-092-19/+64
|\ \
| * | Improve indexing of implsFlorian Diebold2021-04-092-19/+64
* | | Fix crash on syn involving lifetimes returned by ChalkFlorian Diebold2021-04-093-6/+77
|/ /
* | CleanupFlorian Diebold2021-04-082-24/+19
* | Intern VariancesFlorian Diebold2021-04-081-2/+3
* | Don't intern ProgramClause at allFlorian Diebold2021-04-081-2/+2
* | Intern QuantifiedWhereClausesFlorian Diebold2021-04-081-2/+3
* | Intern ProgramClausesFlorian Diebold2021-04-081-2/+3
* | Intern CanonicalVarKindsFlorian Diebold2021-04-081-2/+3
* | Intern consts & lifetimesFlorian Diebold2021-04-082-7/+20
* | Intern typesFlorian Diebold2021-04-081-3/+7
* | Intern SubstitutionsFlorian Diebold2021-04-087-26/+33
* | Intern VariableKindsFlorian Diebold2021-04-081-4/+14
* | Remove unusedFlorian Diebold2021-04-0814-69/+20
* | Replace `make_binders` by the now equivalent `make_only_type_binders`Florian Diebold2021-04-082-35/+22
* | Remove identity impls for ToChalkFlorian Diebold2021-04-084-215/+21