From 978de5cf8bfd2ff82696fc8d5369b41e147431c3 Mon Sep 17 00:00:00 2001 From: Marcus Klaas de Vries Date: Tue, 8 Jan 2019 16:01:19 +0100 Subject: Implement type inference for enum variants --- crates/ra_hir/src/db.rs | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'crates/ra_hir/src/db.rs') diff --git a/crates/ra_hir/src/db.rs b/crates/ra_hir/src/db.rs index 7dbe93f2b..9a6ef8083 100644 --- a/crates/ra_hir/src/db.rs +++ b/crates/ra_hir/src/db.rs @@ -12,7 +12,7 @@ use crate::{ module_tree::{ModuleId, ModuleTree}, nameres::{ItemMap, InputModuleItems}, ty::{InferenceResult, Ty}, - adt::{StructData, EnumData}, + adt::{StructData, EnumData, EnumVariantData}, impl_block::ModuleImplBlocks, }; @@ -47,6 +47,11 @@ pub trait HirDatabase: SyntaxDatabase use fn crate::adt::EnumData::enum_data_query; } + fn enum_variant_data(def_id: DefId) -> Cancelable> { + type EnumVariantDataQuery; + use fn crate::adt::EnumVariantData::enum_variant_data_query; + } + fn infer(def_id: DefId) -> Cancelable> { type InferQuery; use fn crate::ty::infer; -- cgit v1.2.3