aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/display.rs
Commit message (Collapse)AuthorAgeFilesLines
* Ignore type bindings in generic_predicates_for_paramFlorian Diebold2021-03-211-6/+15
| | | | | | | | | | | | | This allows us to handle more cases without a query cycle, which includes certain cases that rustc accepted. That in turn means we avoid triggering salsa-rs/salsa#257 on valid code (it will still happen if the user writes an actual cycle). We actually accept more definitions than rustc now; that's because rustc only ignores bindings when looking up super traits, whereas we now also ignore them when looking for predicates to disambiguate associated type shorthand. We could introduce a separate query for super traits if necessary, but for now I think this should be fine.
* Turn Obligation into something similar to chalk_ir::DomainGoalFlorian Diebold2021-03-201-15/+5
| | | | This includes starting to make use of Chalk's `Cast` trait.
* Remove WhereClause::ErrorFlorian Diebold2021-03-201-11/+1
| | | | | Chalk doesn't have it, and judging from the removed code, it wasn't useful anyway.
* Rename GenericPredicate -> WhereClauseFlorian Diebold2021-03-201-16/+13
|
* Replace Projection variant in GenericPredicate with AliasEqLukas Wirth2021-03-191-22/+36
|
* Chalkify TraitRefFlorian Diebold2021-03-181-7/+7
|
* Rename Substs -> SubstitutionFlorian Diebold2021-03-161-2/+2
|
* Impl HirDisplay for function hover messageoxalica2021-03-151-8/+195
|
* Don't use Substs for Ref/Raw/Array/SliceFlorian Diebold2021-03-141-6/+3
|
* More renamingFlorian Diebold2021-03-141-2/+5
|
* Rename some fields to their Chalk namesFlorian Diebold2021-03-141-8/+8
|
* Use chalk_ir::OpaqueTyIdFlorian Diebold2021-03-131-18/+24
|
* Use chalk_ir::PlaceholderIndexFlorian Diebold2021-03-131-7/+8
|
* Use chalk_ir::FnDefIdFlorian Diebold2021-03-131-4/+5
|
* Use chalk_ir::AssocTypeIdFlorian Diebold2021-03-131-10/+18
|
* Use chalk_ir::ForeignDefIdFlorian Diebold2021-03-131-4/+4
|
* Separate `Ty` and `TyKind` like in ChalkFlorian Diebold2021-03-131-57/+59
| | | | | Currently `Ty` just wraps `TyKind`, but this allows us to change most places to already use `intern` / `interned`.
* Delete `ContainerId`Jonas Schievink2021-03-091-2/+2
|
* Use chalk_ir::AdtIdLukas Wirth2021-03-041-10/+11
|
* Use chalk_ir::MutabilityLukas Wirth2021-03-011-2/+17
|
* Introduce Ty::AliasLukas Wirth2021-03-011-9/+10
|
* Being Ty::InferenceVar closes to chalk equivalentLukas Wirth2021-03-011-1/+1
|
* Lift FnPointer into a structLukas Wirth2021-02-281-6/+6
|
* Remove Substs from Ty::ForeignTypeLukas Wirth2021-02-281-6/+1
|
* Turn Ty::Tuple variant into a tuple-variantLukas Wirth2021-02-281-1/+1
|
* Fix code_model::Type::walk not walking all typesLukas Wirth2021-02-281-13/+14
|
* Inline TypeCtor into TyLukas Wirth2021-02-281-92/+72
|
* Use chalk_ir::Scalar directlyLukas Wirth2021-02-281-6/+8
|
* Introduce TypeCtor::ScalarLukas Wirth2021-02-281-5/+7
|
* Don't write trailing whitespace when formatting empty GenericPredicatesLukas Wirth2021-02-201-9/+20
|
* Make `ModuleId`'s `krate` field privateJonas Schievink2021-01-221-1/+1
|
* Render Fn* trait objects and impl types as rust doesLukas Wirth2021-01-131-25/+75
|
* Rename expr -> tail_exprAleksey Kladov2021-01-051-1/+1
|
* Impl hovering for TypeParamsLukas Wirth2021-01-041-1/+1
|
* Merge #6845bors[bot]2020-12-121-1/+9
|\ | | | | | | | | | | | | | | | | | | | | | | | | | | 6845: Don't HirDisplay unknown types when displaying for source r=Veykril a=Veykril Was wondering why the add missing impl assist didn't do anything here: ![Code_JCA1Qo0V9P](https://user-images.githubusercontent.com/3757771/101990300-7af44a80-3ca6-11eb-8431-e5eb4de4e78c.png) Turns out me forgetting to set the Index::Idx type in the trait causes RA to panic due to it trying to to create an unparsable type in the `make` module. Now we get this instead which imo is definitely better to have. ![Code_MUFPJUCULY](https://user-images.githubusercontent.com/3757771/101990347-c9094e00-3ca6-11eb-9c6a-146bddf64b7c.png) Co-authored-by: Lukas Wirth <[email protected]>
| * Don't HirDisplay unknown types when displaying for sourceLukas Wirth2020-12-121-1/+9
| |
* | Add Lifetimes to the HIRLukas Wirth2020-12-111-1/+14
|/
* Implement HirDisplay for FnSigJonas Schievink2020-12-091-20/+23
| | | | This could be useful for diagnostics, but isn't used right now
* refactor(hir_ty): do not override DisplayTarget in hir_fmtBenjamin Coenen2020-10-281-45/+68
| | | | Signed-off-by: Benjamin Coenen <[email protected]>
* do not use associated types placeholder for inlay hintBenjamin Coenen2020-10-281-2/+10
| | | | Signed-off-by: Benjamin Coenen <[email protected]>
* do not use associated types placeholder for inlay hintBenjamin Coenen2020-10-281-35/+21
| | | | Signed-off-by: Benjamin Coenen <[email protected]>
* do not use associated types placeholder for inlay hintBenjamin Coenen2020-10-281-54/+50
| | | | Signed-off-by: Benjamin Coenen <[email protected]>
* do not use associated types placeholder for inlay hintBenjamin Coenen2020-10-281-28/+60
| | | | Signed-off-by: Benjamin Coenen <[email protected]>
* do not use associated types placeholder for inlay hint #6191Benjamin Coenen2020-10-271-5/+21
| | | | Signed-off-by: Benjamin Coenen <[email protected]>
* Fix trait object hir formatting behind pointer and referencesLukas Wirth2020-10-061-6/+23
|
* Update chalk to 0.27 and adapt to chalk changes.Charles Lew2020-09-151-0/+9
|
* Implement async blocksoxalica2020-09-101-10/+18
|
* display correctly 'impl Trait<T> + Trait<T>' #4814Benjamin Coenen2020-08-131-0/+1
| | | | Signed-off-by: Benjamin Coenen <[email protected]>
* Rename ra_hir_ty -> hir_tyAleksey Kladov2020-08-131-0/+631