aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src
Commit message (Collapse)AuthorAgeFilesLines
...
* | Add tests for checking the impl self typeFlorian Diebold2019-12-021-0/+14
| |
* | Refactor a bitFlorian Diebold2019-12-023-77/+74
| |
* | Check receiver type properlyFlorian Diebold2019-12-024-19/+80
| |
* | Extract unification code to unify moduleFlorian Diebold2019-12-026-263/+312
| |
* | Change order of calls to get method candidate order correctFlorian Diebold2019-12-022-39/+115
|/
* Merge #2455bors[bot]2019-12-011-0/+36
|\ | | | | | | | | | | | | | | | | | | 2455: Add BuiltinShadowMode r=flodiebold a=edwin0cheng This PR try to fix #1905 by introduce an `BuiltinShadowMode` in name resolving functions. cc @flodiebold Co-authored-by: Edwin Cheng <[email protected]>
| * Add BuiltinShadowModeEdwin Cheng2019-11-301-0/+36
| |
* | Add cycle recovery for type aliasesFlorian Diebold2019-11-303-2/+10
| |
* | Add cycle recovery for generic predicatesFlorian Diebold2019-11-303-8/+10
| |
* | Handle cycles in impl types betterFlorian Diebold2019-11-308-53/+82
| | | | | | | | | | | | - impl Trait<Self> for S is allowed - impl Trait for S<Self> is an invalid cycle, but we can add cycle recovery for it in Salsa now
* | Reduce variants of Exproxalica2019-11-291-39/+37
| |
* | Infer range typesoxalica2019-11-283-0/+127
|/
* Move source-related traits to a separate moduleAleksey Kladov2019-11-281-1/+1
|
* Rename Source -> InFileAleksey Kladov2019-11-282-9/+9
|
* Use Name::missing consistentlyAleksey Kladov2019-11-271-18/+7
|
* Minimize APIAleksey Kladov2019-11-271-8/+3
|
* Memoize impl resolutionsAleksey Kladov2019-11-277-75/+76
|
* Rename module_id -> local_idAleksey Kladov2019-11-272-7/+7
|
* prune depsAleksey Kladov2019-11-271-5/+7
|
* Move TyAleksey Kladov2019-11-2723-2/+12282
|
* Doc primitivesAleksey Kladov2019-11-262-2/+6
|
* Introduce hir_tyAleksey Kladov2019-11-262-0/+193