Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | hir_ty: fix visibility in infer_inherent_method test | cynecx | 2021-03-20 | 1 | -16/+16 |
* | hir_ty: introduce visible_from_module param into method resolution | cynecx | 2021-03-20 | 3 | -4/+33 |
* | hir_ty: check field visibility while iterating through autoderef candidates | cynecx | 2021-03-20 | 1 | -14/+36 |
* | hir_ty: add field_visibilities and fn_visibility queries | cynecx | 2021-03-20 | 2 | -4/+33 |
* | hir_ty: add tests around autoderef with visibility checking | cynecx | 2021-03-20 | 1 | -0/+119 |
* | hir_ty: fix tests by making required methods public | cynecx | 2021-03-20 | 2 | -4/+4 |
* | Turn Obligation into something similar to chalk_ir::DomainGoal | Florian Diebold | 2021-03-20 | 13 | -86/+124 |
* | Remove WhereClause::Error | Florian Diebold | 2021-03-20 | 7 | -42/+8 |
* | Rename GenericPredicate -> WhereClause | Florian Diebold | 2021-03-20 | 9 | -99/+83 |
* | Replace Projection variant in GenericPredicate with AliasEq | Lukas Wirth | 2021-03-19 | 9 | -120/+210 |
* | Chalkify TraitRef | Florian Diebold | 2021-03-18 | 14 | -68/+94 |
* | Fix infinite recursion when computing diagnostics for inner items | Jonas Schievink | 2021-03-18 | 1 | -1/+14 |
* | Merge #8082 | bors[bot] | 2021-03-18 | 1 | -0/+22 |
|\ | |||||
| * | Handle inner recursive macro rules cases | Edwin Cheng | 2021-03-18 | 1 | -0/+22 |
* | | Support `#[cfg]` on all associated items | Jonas Schievink | 2021-03-18 | 1 | -0/+19 |
* | | Add test for self-calling inner function | Jonas Schievink | 2021-03-17 | 1 | -0/+21 |
* | | Improve test | Jonas Schievink | 2021-03-17 | 1 | -0/+21 |
* | | Add test for `#[cfg]` on function params | Jonas Schievink | 2021-03-17 | 1 | -0/+13 |
* | | Handle `#[cfg]` on call arguments | Jonas Schievink | 2021-03-17 | 1 | -0/+23 |
|/ | |||||
* | avoid converting types into themselves via .into() (clippy::useless-conversion) | Matthias Krüger | 2021-03-17 | 4 | -20/+20 |
* | Rename Substs -> Substitution | Florian Diebold | 2021-03-16 | 14 | -143/+155 |
*-. | Merge #7900 #8000 | bors[bot] | 2021-03-16 | 4 | -13/+200 |
|\ \ | |||||
| | * | Use hir formatter more | oxalica | 2021-03-15 | 1 | -1/+1 |
| | * | Impl HirDisplay for function hover message | oxalica | 2021-03-15 | 1 | -8/+195 |
| | * | Introduce FunctionQualifier for hir::FunctionData | oxalica | 2021-03-15 | 2 | -4/+4 |
* | | | Fix macro expansion for statements w/o semicolon | Edwin Cheng | 2021-03-16 | 1 | -0/+16 |
* | | | Use SmallVec for Substs | Florian Diebold | 2021-03-15 | 3 | -14/+29 |
* | | | Fix unification logic | Florian Diebold | 2021-03-15 | 2 | -101/+117 |
| |/ |/| | |||||
* | | Merge #8020 | bors[bot] | 2021-03-15 | 1 | -1/+9 |
|\ \ | |||||
| * | | Speedup trait impl search for goto_implementation | Lukas Wirth | 2021-03-15 | 1 | -1/+9 |
* | | | Merge #8018 | bors[bot] | 2021-03-15 | 10 | -137/+126 |
|\ \ \ | |||||
| * | | | Don't use Substs for Ref/Raw/Array/Slice | Florian Diebold | 2021-03-14 | 9 | -111/+74 |
| * | | | Make Ty wrap TyKind in an Arc | Florian Diebold | 2021-03-14 | 8 | -27/+53 |
| |/ / | |||||
* / / | Simplify source maps for fields | Aleksey Kladov | 2021-03-15 | 2 | -6/+5 |
|/ / | |||||
* | | More renaming | Florian Diebold | 2021-03-14 | 4 | -18/+22 |
* | | Use chalk_ir::FnSig | Florian Diebold | 2021-03-14 | 5 | -21/+22 |
* | | Rename some fields to their Chalk names | Florian Diebold | 2021-03-14 | 10 | -45/+45 |
* | | Move type lowering methods to TyLoweringContext | Florian Diebold | 2021-03-13 | 4 | -286/+246 |
* | | Create TraitEnvironment through a query | Florian Diebold | 2021-03-13 | 4 | -45/+59 |
* | | Use chalk_ir::OpaqueTyId | Florian Diebold | 2021-03-13 | 7 | -63/+53 |
* | | Use chalk_ir::PlaceholderIndex | Florian Diebold | 2021-03-13 | 7 | -43/+52 |
* | | Use chalk_ir::ClosureId | Florian Diebold | 2021-03-13 | 5 | -23/+17 |
* | | Use chalk_ir::FnDefId | Florian Diebold | 2021-03-13 | 9 | -26/+47 |
* | | Use chalk_ir::AssocTypeId | Florian Diebold | 2021-03-13 | 9 | -74/+82 |
* | | Use chalk_ir::ForeignDefId | Florian Diebold | 2021-03-13 | 6 | -38/+32 |
* | | Separate `Ty` and `TyKind` like in Chalk | Florian Diebold | 2021-03-13 | 18 | -583/+718 |
* | | Remove `ItemTree::source` | Jonas Schievink | 2021-03-12 | 1 | -6/+4 |
|/ | |||||
* | Simplify a bit | Florian Diebold | 2021-03-12 | 1 | -10/+5 |
* | Use Chalk Environment more directly | Florian Diebold | 2021-03-12 | 5 | -55/+44 |
* | Prefer names from outer DefMap over extern prelude | Jonas Schievink | 2021-03-10 | 1 | -0/+29 |