aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/display.rs
Commit message (Collapse)AuthorAgeFilesLines
* Hide `-> ()` in Fn traitsFlorian Diebold2021-05-251-2/+4
|
* internal: intern `TypeBound`sJonas Schievink2021-05-241-0/+7
| | | | | Doesn't save much memory (~2 mb), but interning things is generally a good pattern to follow
* Add lowering of array lengths in typesJade2021-05-131-3/+2
| | | | | | | | | | | Now e.g. ```rust fn a(b: [u8; 2]) { } ``` will know about the length of b.
* Add basic support for array lengths in typesJade2021-05-111-1/+1
| | | | | | | | | | This recognizes `let a = [1u8, 2, 3]` as having type `[u8; 3]` instead of the previous `[u8; _]`. Byte strings and `[0u8; 2]` kinds of range array declarations are unsupported as before. I don't know why a bunch of our rustc tests had single quotes inside strings un-escaped by `UPDATE_EXPECT=1 cargo t`, but I don't think it's bad? Maybe something in a nightly?
* Reuse database in LowerCtxJonas Schievink2021-05-061-1/+1
|
* Don't store call-site text offsets in hygiene infoJonas Schievink2021-05-061-2/+2
|
* hir_ty: deal with TypeRef::Macro in HirFormattercynecx2021-04-171-2/+15
|
* hir_ty: Expand macros at type positioncynecx2021-04-171-1/+1
|
* More cleanups / module docsFlorian Diebold2021-04-091-1/+3
|
* Move ToChalk -> mappingFlorian Diebold2021-04-091-5/+5
|
* Reorganize hir_ty modulesFlorian Diebold2021-04-091-1/+1
| | | | | Chalk isn't really a 'traits' thing anymore, so it doesn't make sense to have all the Chalk-related stuff in submodules of `traits`.
* Intern SubstitutionsFlorian Diebold2021-04-081-10/+10
| | | | (Costs a bit of performance, reduces memory usage on RA by ~10%.)
* Fix missing match armsFlorian Diebold2021-04-081-2/+16
|
* Fix return type of Substitution::internedFlorian Diebold2021-04-071-1/+1
|
* Fix return type of `self_type_parameter`Florian Diebold2021-04-071-2/+2
|
* Move hir_trait_id to extension traitFlorian Diebold2021-04-071-1/+1
|
* Change TraitRef::hir_fmt_ext to free-standing functionFlorian Diebold2021-04-071-20/+18
|
* Panic when creating a HirDisplayWrapper with DisplayTarget::SourceCodeLukas Wirth2021-04-061-1/+5
|
* Don't use HirDisplayWrapper when displaying SourceCodeLukas Wirth2021-04-061-31/+12
|
* Add chalk_ir::Const to TyKind::ArrayLukas Wirth2021-04-061-10/+36
|
* Add Lifetime to TyKind::RefLukas Wirth2021-04-061-1/+1
|
* Substitution::prefix -> subst_prefixFlorian Diebold2021-04-051-4/+6
| | | | I probably want to get rid of this function completely later.
* Move ProjectionTy methods to extension traitFlorian Diebold2021-04-051-1/+2
|
* Replace unused hir_ty::Lifetime with chalk equivalentsLukas Wirth2021-04-051-8/+31
|
* Add Interner parameter to Binders::substituteFlorian Diebold2021-04-051-6/+6
|
* Binders::subst -> substituteFlorian Diebold2021-04-051-6/+6
|
* Hide Binders internals moreFlorian Diebold2021-04-051-3/+3
|
* Pass interner to TraitRef::self_type_parameterLaurențiu Nicola2021-04-051-15/+16
|
* Pass interner to ProjectionTy::self_type_parameterLaurențiu Nicola2021-04-051-2/+2
|
* Rename TyKind::ForeignType to ForeignLaurențiu Nicola2021-04-051-1/+1
|
* Rename TyKind::Unknown to ErrorLaurențiu Nicola2021-04-051-2/+2
|
* Move things in hir_ty into submodulesFlorian Diebold2021-04-041-10/+10
| | | | | - all the types that will be replaced by Chalk go to `types` - `TypeWalk` impls go to `walk`
* Replace Substitution::type_paramsFlorian Diebold2021-04-041-2/+1
|
* Replace Substitution::bound_vars and ::type_params_for_genericsFlorian Diebold2021-04-041-2/+2
|
* Add TyBuilder::unit() and TyExt::is_unit()Florian Diebold2021-04-041-3/+4
|
* Rename Ty::interned to Ty::kindFlorian Diebold2021-04-031-4/+4
| | | | ... since that's the actual method on Chalk side that matches the signature.
* Introduce `GenericArg` like in ChalkFlorian Diebold2021-04-031-24/+37
| | | | | | | Plus some more adaptations to Substitution. Lots of `assert_ty_ref` that we should revisit when introducing lifetime/const parameters.
* Use arrayvec 0.6Laurențiu Nicola2021-03-251-4/+2
|
* Merge #8144bors[bot]2021-03-221-0/+6
|\ | | | | | | | | | | | | | | 8144: bail out early for source code closures r=Veykril a=hi-rustin close https://github.com/rust-analyzer/rust-analyzer/issues/8084 Co-authored-by: hi-rustin <[email protected]>
| * bail out early for source code closureshi-rustin2021-03-221-0/+6
| | | | | | | | add closure error
* | Use QuantifiedWhereClause in generic_predicates as wellFlorian Diebold2021-03-211-10/+2
| | | | | | | | | | Still far too much binder skipping going on; I find it hard to imagine this is all correct, but the tests pass.
* | Introduce QuantifiedWhereClause and DynTy analogous to ChalkFlorian Diebold2021-03-211-16/+32
| | | | | | | | | | This introduces a bunch of new binders in lots of places, which we have to be careful about, but we had to add them at some point.
* | 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-01 01:33:38 +0100