aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir_ty/src/tests.rs
Commit message (Collapse)AuthorAgeFilesLines
* Refactor the test of diagnostic testsAleksey Kladov2020-07-141-408/+0
|
* Enable Chalk tracing in hir_ty testsFlorian Diebold2020-07-121-0/+11
|
* Switch to fully dynamically dispatched salsaAleksey Kladov2020-07-071-2/+2
| | | | This improves compile times quite a bit
* ItemTree: Lower fields despite invalid typeJonas Schievink2020-07-011-0/+24
|
* Better factoringAleksey Kladov2020-06-301-4/+1
|
* Update the rest of the testsAleksey Kladov2020-06-291-25/+21
|
* (T): make typification tests more data drivenAleksey Kladov2020-06-291-0/+16
|
* Remove unneeded code, filename from tests, fix rebasing issuesPaul Daniel Faria2020-06-271-5/+0
|
* Track expr parents during lowering, use parent map when checking if unsafe ↵Paul Daniel Faria2020-06-271-1/+1
| | | | exprs are within unsafe blocks
* Address review comments, have MissingUnsafe diagnostic point to each unsafe ↵Paul Daniel Faria2020-06-271-3/+3
| | | | use, update tests
* Track unsafe blocks, don't trigger missing unsafe diagnostic when unsafe ↵Paul Daniel Faria2020-06-271-1/+21
| | | | exprs within unsafe block
* Add missing self param to testPaul Daniel Faria2020-06-271-1/+1
|
* Remove UnnecessaryUnsafe diagnostic, Fix Expr::Call unsafe analysisPaul Daniel Faria2020-06-271-21/+7
|
* Add tests covering unsafe blocks, more attempts to get call expr tests passingPaul Daniel Faria2020-06-271-0/+70
|
* Move diagnostics back into expr, add tests for diagnostics, fix logic to ↵Paul Daniel Faria2020-06-271-0/+78
| | | | account for derefs of raw ptrs
* Remove file id from item treeJonas Schievink2020-06-241-3/+3
| | | | It's not needed, and `source` is only used by tests anyways
* draw the rest of the owlJonas Schievink2020-06-241-5/+11
|
* Merge #4175bors[bot]2020-05-091-2/+15
|\ | | | | | | | | | | | | | | | | | | | | | | 4175: Introduce HirDisplay method for rendering source code & use it in add_function assist r=flodiebold a=TimoFreiberg Next feature for #3639. So far the only change in the new `HirDisplay` method is that paths are qualified, but more changes will be necessary (omitting the function name from function types, returning an error instead of printing `"{unknown}"`, probably more). Is that approach okay? Co-authored-by: Timo Freiberg <[email protected]>
| * New HirDisplay method for displaying sourcecodeTimo Freiberg2020-05-081-2/+15
| |
* | Add diagnostic for break outside of loopFlorian Diebold2020-05-081-0/+18
|/
* add support of cfg attributes on enum variants #4279Benjamin Coenen2020-05-031-0/+27
| | | | Signed-off-by: Benjamin Coenen <[email protected]>
* add support for cfg feature attributes on expression #4063Benjamin Coenen2020-04-251-0/+32
| | | | Signed-off-by: Benjamin Coenen <[email protected]>
* Convert code to text-sizeAleksey Kladov2020-04-251-2/+2
|
* Fully get rid of SyntaxNodePtr::rangeAleksey Kladov2020-04-231-20/+32
|
* Remove dead codeAleksey Kladov2020-04-111-3/+1
|
* Forward compatAleksey Kladov2020-04-101-1/+1
|
* add record pat missing field diagnosticJosh Mcguigan2020-04-101-0/+40
|
* Simpler acessors for keywordsAleksey Kladov2020-04-091-2/+2
|
* Merge #3918bors[bot]2020-04-091-0/+60
|\ | | | | | | | | | | | | | | | | 3918: Add support for feature attributes in struct literal r=matklad a=bnjjj As promised here is the next PR to solve 2 different scenarios with feature flag on struct literal. close #3870 Co-authored-by: Benjamin Coenen <[email protected]>
| * feat: add support for feature attributes in struct literalBenjamin Coenen2020-04-091-3/+3
| |\ | | | | | | | | | Signed-off-by: Benjamin Coenen <[email protected]>
| * | feat: add support for feature attributes in struct literalBenjamin Coenen2020-04-091-0/+60
| | | | | | | | | | | | Signed-off-by: Benjamin Coenen <[email protected]>
* | | Add _token suffix to token accessorsAleksey Kladov2020-04-091-1/+1
| |/ |/| | | | | | | I think this makes is more clear which things are : AstNode and which are : AstToken
* | Provide more complete AST accessors to support usage in rustcLuca Barbieri2020-04-091-2/+2
|/
* feat: add attributes support on struct fields and method #3870Benjamin Coenen2020-04-091-1/+1
|\ | | | | | | Signed-off-by: Benjamin Coenen <[email protected]>
* | feat: add attributes support on struct fields and method #3870Benjamin Coenen2020-04-081-4/+5
| | | | | | | | Signed-off-by: Benjamin Coenen <[email protected]>
* | Merge branch 'master' of github.com:rust-analyzer/rust-analyzerBenjamin Coenen2020-04-071-1/+2
|\|
| * missing match arms diagnosticJosh Mcguigan2020-04-071-1/+2
| |
* | feat: add attributes support on struct fields #3870Benjamin Coenen2020-04-071-0/+29
|/ | | | Signed-off-by: Benjamin Coenen <[email protected]>
* Remove some unwrapsAleksey Kladov2020-03-281-14/+12
|
* Source map returns a resultAleksey Kladov2020-03-061-6/+11
| | | | cc #2236
* Basic injectionsAleksey Kladov2020-02-271-2/+2
|
* More manual clippy fixesKirill Bulatov2020-02-181-4/+4
|
* 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)...