diff options
| author | Florian Diebold <[email protected]> | 2020-02-21 17:24:18 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-02-22 10:09:21 +0000 |
| commit | de39d221a15c0a146ed8adbdb1616692180948bb (patch) | |
| tree | c88cddbadedb021365e518d68502e8c2f9c21077 /crates/ra_hir_ty/src/traits.rs | |
| parent | baf832d6d903afbc39e3a01c752a1aa5218c020e (diff) | |
Implement unsize coercion using proper trait solving
Diffstat (limited to 'crates/ra_hir_ty/src/traits.rs')
| -rw-r--r-- | crates/ra_hir_ty/src/traits.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/crates/ra_hir_ty/src/traits.rs b/crates/ra_hir_ty/src/traits.rs index e83449957..c385f0098 100644 --- a/crates/ra_hir_ty/src/traits.rs +++ b/crates/ra_hir_ty/src/traits.rs | |||
| @@ -343,6 +343,8 @@ pub enum Impl { | |||
| 343 | ImplBlock(ImplId), | 343 | ImplBlock(ImplId), |
| 344 | /// Closure types implement the Fn traits synthetically. | 344 | /// Closure types implement the Fn traits synthetically. |
| 345 | ClosureFnTraitImpl(ClosureFnTraitImplData), | 345 | ClosureFnTraitImpl(ClosureFnTraitImplData), |
| 346 | /// [T; n]: Unsize<[T]> | ||
| 347 | UnsizeArray, | ||
| 346 | } | 348 | } |
| 347 | /// This exists just for Chalk, because our ImplIds are only unique per module. | 349 | /// This exists just for Chalk, because our ImplIds are only unique per module. |
| 348 | #[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)] | 350 | #[derive(Debug, Clone, Copy, PartialEq, Eq, Hash)] |