diff options
| author | Bryanskiy <ivakin.kir@gmail.com> | 2023-11-26 15:57:31 +0300 |
|---|---|---|
| committer | Bryanskiy <ivakin.kir@gmail.com> | 2024-01-12 14:11:16 +0300 |
| commit | d69cd6473c110096bb009db0f2f21da6f67ac5a6 (patch) | |
| tree | 9c9ee290363a90b945c89bb88e734af4ac4f0840 /compiler/rustc_hir/src/hir.rs | |
| parent | 2b1365b34f0d5ee43944c4266a625923a7b312dd (diff) | |
| download | rust-d69cd6473c110096bb009db0f2f21da6f67ac5a6.tar.gz rust-d69cd6473c110096bb009db0f2f21da6f67ac5a6.zip | |
Delegation implementation: step 1
Diffstat (limited to 'compiler/rustc_hir/src/hir.rs')
| -rw-r--r-- | compiler/rustc_hir/src/hir.rs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/compiler/rustc_hir/src/hir.rs b/compiler/rustc_hir/src/hir.rs index 58ac9668da5..6b347f7035a 100644 --- a/compiler/rustc_hir/src/hir.rs +++ b/compiler/rustc_hir/src/hir.rs @@ -2571,9 +2571,17 @@ pub enum OpaqueTyOrigin { }, } +#[derive(Debug, Clone, Copy, PartialEq, Eq, HashStable_Generic)] +pub enum InferDelegationKind { + Input(usize), + Output, +} + /// The various kinds of types recognized by the compiler. #[derive(Debug, Clone, Copy, HashStable_Generic)] pub enum TyKind<'hir> { + /// Actual type should be inherited from `DefId` signature + InferDelegation(DefId, InferDelegationKind), /// A variable length slice (i.e., `[T]`). Slice(&'hir Ty<'hir>), /// A fixed length array (i.e., `[T; n]`). |