aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fix `Canonicalized::apply_solution`Florian Diebold2021-04-081-13/+16
* Fix missing match armsFlorian Diebold2021-04-084-2/+20
* Fix remaining `interned_mut` callFlorian Diebold2021-04-081-4/+6
* Replace remaining `fold` callsFlorian Diebold2021-04-083-59/+104
* Replace some `fold` callsFlorian Diebold2021-04-084-47/+53
* Fix shifted_{in,out} callsFlorian Diebold2021-04-085-11/+11
* Fix subst_prefixFlorian Diebold2021-04-081-1/+4
* Get rid of walk_mut [not compiling]Florian Diebold2021-04-081-272/+0
* Fix TyBuilder methodsFlorian Diebold2021-04-081-5/+5
* Impl Fold for CallableSigFlorian Diebold2021-04-081-0/+18
* Add HasInterner boundsFlorian Diebold2021-04-086-14/+35
* Allow unusedFlorian Diebold2021-04-081-0/+3
* Remove obsolete Cast implsFlorian Diebold2021-04-081-47/+0
* Make ToChalk implementations identityFlorian Diebold2021-04-082-272/+42
* Replace all the types by their Chalk versionsFlorian Diebold2021-04-083-554/+32
* Merge #8409bors[bot]2021-04-0714-66/+73
|\
| * Fix return type of Substitution::internedFlorian Diebold2021-04-073-3/+3
| * InEnvironment::new takes a referenceFlorian Diebold2021-04-074-5/+5
| * Make Canonical::new a free-standing functionFlorian Diebold2021-04-071-10/+12