aboutsummaryrefslogtreecommitdiff
path: root/crates/ra_hir/src/ty
Commit message (Collapse)AuthorAgeFilesLines
* Various review fixesFlorian Diebold2019-11-012-17/+12
|
* Add some doc commentsFlorian Diebold2019-11-011-0/+6
|
* Complete trait assoc itemsFlorian Diebold2019-11-011-1/+1
|
* Refactor a bitFlorian Diebold2019-11-011-36/+25
|
* Don't do autoderef for path resolutionFlorian Diebold2019-11-011-18/+39
|
* Refactor to unify with method resolutionFlorian Diebold2019-11-013-133/+96
|
* Record assoc item resolutionFlorian Diebold2019-11-011-1/+3
|
* Insert type vars before doing assoc item resolutionFlorian Diebold2019-11-012-12/+15
|
* Add another unrelated, currently not working testFlorian Diebold2019-11-011-0/+16
|
* Get trait assoc item resolution mostly workingFlorian Diebold2019-11-012-11/+248
|
* move struct & enum data to hir_defAleksey Kladov2019-10-311-4/+4
|
* move builtin types to hir_defAleksey Kladov2019-10-312-26/+12
|
* push name down to hir_expandAleksey Kladov2019-10-304-7/+6
|
* remove forward pointer for type_refAleksey Kladov2019-10-304-8/+11
|
* remove forward pointer to PathAleksey Kladov2019-10-304-7/+11
|
* remove forward pointer for nameAleksey Kladov2019-10-304-4/+7
|
* Move ids to hir_def crateAleksey Kladov2019-10-301-29/+5
|
* introduce ra_hir_defAleksey Kladov2019-10-302-8/+8
|
* Upgrade Chalk, make use of TypeName::Error variantFlorian Diebold2019-10-291-8/+7
|
* Upgrade Chalk (without using its dyn/impl Trait support)Florian Diebold2019-10-262-43/+73
|
* Bump depsLaurențiu Nicola2019-10-172-4/+10
|
* make_mut_sliceShotaro Yamada2019-10-142-15/+9
|
* import make_mut_arc_sliceShotaro Yamada2019-10-141-1/+2
|
* `.collect()` directly into `Arc<[T]>`Shotaro Yamada2019-10-143-21/+16
|
* Avoid cloning `Arc<[T]>` into a vec if possibleShotaro Yamada2019-10-142-12/+18
|
* Split up infer.rs furtherFlorian Diebold2019-10-124-1135/+1192
| | | | | | - coercion logic goes to `coerce.rs` - expression inference goes to `expr.rs` - pattern inference goes to `pat.rs`
* Chalk update to simplified IRkjeremy2019-10-101-24/+34
|
* Merge #1969bors[bot]2019-10-081-2/+1
|\ | | | | | | | | | | | | | | 1969: restore coloring of attributes r=matklad a=matklad Co-authored-by: Aleksey Kladov <[email protected]>
| * macro DSL for cfg in testsAleksey Kladov2019-10-081-6/+1
| |
| * use slightly more idiomatic api for cfgAleksey Kladov2019-10-081-1/+5
| |
* | Address comments: fix docs, add completion test for `Self`.ice10002019-10-081-3/+1
| |
* | Support inferring `Self` type in enum definitionsice10002019-10-083-0/+23
|/ | | | Signed-off-by: ice1000 <[email protected]>
* Merge #1928bors[bot]2019-10-051-0/+45
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1928: Support `#[cfg(..)]` r=matklad a=oxalica This PR implement `#[cfg(..)]` conditional compilation. It read default cfg options from `rustc --print cfg` with also hard-coded `test` and `debug_assertion` enabled. Front-end settings are **not** included in this PR. There is also a known issue that inner control attributes are totally ignored. I think it is **not** a part of `cfg` and create a separated issue for it. #1949 Fixes #1920 Related: #1073 Co-authored-by: uHOOCCOOHu <[email protected]> Co-authored-by: oxalica <[email protected]>
| * Support cfg attribute on impl blocksuHOOCCOOHu2019-10-021-0/+45
| |
* | Handle divergence in type inference for blocksLaurențiu Nicola2019-10-022-3/+72
|/
* Merge branch 'master' into feature/issue/1856Alexander Andreev2019-09-301-3/+9
|\ | | | | | | | | # Conflicts: # crates/ra_assists/src/ast_editor.rs
| * correctly reset chalk state after a panicAleksey Kladov2019-09-281-6/+9
| |
| * replace horrible hack with a slightly less horrible oneAleksey Kladov2019-09-271-0/+3
| |
* | Added test for check doc strings in crates.Alexander Andreev2019-09-303-0/+6
|/ | | | #1856
* Merge #1815bors[bot]2019-09-272-5/+37
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 1815: Support correct `$crate` expansion in macros r=uHOOCCOOHu a=uHOOCCOOHu This PR makes normal use cases of `$crate` from macros work as expected. It makes more macros from `std` work. Type inference works well with `panic`, `unimplemented`, `format`, and maybe more. Sadly that `vec![1, 2, 3]` still not works, but it is not longer an issue about macro. Screenshot: ![Screenshot_20190927_022136](https://user-images.githubusercontent.com/14816024/65714465-b4568f80-e0cd-11e9-8043-dd44c2ae8040.png) Co-authored-by: uHOOCCOOHu <[email protected]>
| * Support `$crate` in item and expr place.uHOOCCOOHu2019-09-261-0/+33
| |
| * Refactor `Name` ready for hygienic macrouHOOCCOOHu2019-09-261-5/+4
| |
* | Add SubstsBuilderFlorian Diebold2019-09-268-116/+66
|/ | | | + further refactoring.
* Support all coercion placesuHOOCCOOHu2019-09-253-96/+216
|
* Support custom `CoerceUnsized`uHOOCCOOHu2019-09-254-247/+476
| | | | Split out tests about coercion
* Better handle never type and branch merginguHOOCCOOHu2019-09-254-181/+391
| | | | Split out tests for never type to another file
* Support basic implicit type coerceuHOOCCOOHu2019-09-252-142/+383
|
* Support auto-deref in argument positionuHOOCCOOHu2019-09-252-1/+161
|
* Resolve trait associated itemsFlorian Diebold2019-09-253-13/+59
| | | | E.g. `Default::default` or `<Foo as Default>::default`.
* Fix retrieval of the Fn traitsFlorian Diebold2019-09-251-3/+2
| | | | | I used the wrong query, so it only used the lang items from the respective crate...