aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/tests.rs
Commit message (Collapse)AuthorAgeFilesLines
* Don't add non-impl/trait containers to scopeAleksey Kladov2019-12-291-23/+57
|
* Move impls to ItemScopeAleksey Kladov2019-12-201-1/+1
|
* Merge #2484bors[bot]2019-12-061-3/+5
|\ | | | | | | | | | | | | | | | | | | 2484: DynMap r=matklad a=matklad Implement a `DynMap` a semi-dynamic, semi-static map, which helps to thread heterogeneously typed info in a uniform way. Totally inspired by https://github.com/JetBrains/kotlin/blob/df3bee30384787d8951ea548a4257c2cb52a16a3/compiler/frontend/src/org/jetbrains/kotlin/resolve/BindingContext.java. @flodiebold wdyt? Seems like a potentially useful pattern for various source-map-like things. Co-authored-by: Aleksey Kladov <[email protected]>
| * DynMapAleksey Kladov2019-12-061-3/+5
| | | | | | | | | | This might, or might not help us to reduce boilerplate associated with plumbing values from analysis to the IDE layer
* | Don't unify within a referenceFlorian Diebold2019-12-061-0/+26
|/ | | | | | | If we are expecting a `&Foo` and get a `&something`, when checking the `something`, we are *expecting* a `Foo`, but we shouldn't try to unify whatever we get with that expectation, because it could actually be a `&Foo`, and `&&Foo` coerces to `&Foo`. So this fixes quite a few false type mismatches.
* Simplify testAleksey Kladov2019-12-051-13/+10
|
* Split up ty tests a bitFlorian Diebold2019-12-031-4902/+6
|
* Fix #2467Florian Diebold2019-12-031-0/+47
| | | | | The stand-alone `unify` requires that the type doesn't contain any type variables. So we can't share the code here for now (without more refactoring)...
* Add tests for checking the impl self typeFlorian Diebold2019-12-021-0/+14
|
* Refactor a bitFlorian Diebold2019-12-021-0/+15
|
* Change order of calls to get method candidate order correctFlorian Diebold2019-12-021-2/+0
|
* 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-301-2/+4
| |
* | Add cycle recovery for generic predicatesFlorian Diebold2019-11-301-8/+0
| |
* | Handle cycles in impl types betterFlorian Diebold2019-11-301-0/+42
| | | | | | | | | | | | - 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
* | Infer range typesoxalica2019-11-281-0/+50
|/
* Rename Source -> InFileAleksey Kladov2019-11-281-2/+2
|
* Rename module_id -> local_idAleksey Kladov2019-11-271-5/+5
|
* Move TyAleksey Kladov2019-11-271-0/+4958
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-02 05:35:13 +0000