From 4ba2c5b2de0d1815007d109b3897ccaf6dda0ab5 Mon Sep 17 00:00:00 2001 From: kjeremy Date: Thu, 10 Oct 2019 14:51:50 -0400 Subject: Chalk update to simplified IR --- crates/ra_hir/src/ty/traits/chalk.rs | 58 +++++++++++++++++++++--------------- 1 file changed, 34 insertions(+), 24 deletions(-) (limited to 'crates') diff --git a/crates/ra_hir/src/ty/traits/chalk.rs b/crates/ra_hir/src/ty/traits/chalk.rs index 2642a54bf..9168de709 100644 --- a/crates/ra_hir/src/ty/traits/chalk.rs +++ b/crates/ra_hir/src/ty/traits/chalk.rs @@ -491,15 +491,16 @@ pub(crate) fn trait_datum_query( }, associated_ty_ids: Vec::new(), where_clauses: Vec::new(), - flags: chalk_rust_ir::TraitFlags { - non_enumerable: true, - auto: false, - marker: false, - upstream: true, - fundamental: false, - }, }; - return Arc::new(TraitDatum { binders: make_binders(trait_datum_bound, 1) }); + + let flags = chalk_rust_ir::TraitFlags { + auto: false, + marker: false, + upstream: true, + fundamental: false, + non_enumerable: true, + }; + return Arc::new(TraitDatum { binders: make_binders(trait_datum_bound, 1), flags }); } let trait_: Trait = from_chalk(db, trait_id); debug!("trait {:?} = {:?}", trait_id, trait_.name(db)); @@ -525,8 +526,9 @@ pub(crate) fn trait_datum_query( .map(|type_alias| type_alias.to_chalk(db)) .collect(); let trait_datum_bound = - chalk_rust_ir::TraitDatumBound { trait_ref, where_clauses, flags, associated_ty_ids }; - let trait_datum = TraitDatum { binders: make_binders(trait_datum_bound, bound_vars.len()) }; + chalk_rust_ir::TraitDatumBound { trait_ref, where_clauses, associated_ty_ids }; + let trait_datum = + TraitDatum { binders: make_binders(trait_datum_bound, bound_vars.len()), flags }; Arc::new(trait_datum) } @@ -632,18 +634,20 @@ fn impl_block_datum( }) .collect(); - let impl_datum_bound = chalk_rust_ir::ImplDatumBound { - trait_ref: if negative { - chalk_rust_ir::PolarizedTraitRef::Negative(trait_ref) - } else { - chalk_rust_ir::PolarizedTraitRef::Positive(trait_ref) - }, - where_clauses, - associated_ty_values, - impl_type, + let polarity = if negative { + chalk_rust_ir::Polarity::Negative + } else { + chalk_rust_ir::Polarity::Positive }; + + let impl_datum_bound = + chalk_rust_ir::ImplDatumBound { trait_ref, where_clauses, associated_ty_values }; debug!("impl_datum: {:?}", impl_datum_bound); - let impl_datum = ImplDatum { binders: make_binders(impl_datum_bound, bound_vars.len()) }; + let impl_datum = ImplDatum { + binders: make_binders(impl_datum_bound, bound_vars.len()), + impl_type, + polarity, + }; Arc::new(impl_datum) } @@ -653,12 +657,15 @@ fn invalid_impl_datum() -> Arc { parameters: vec![chalk_ir::Ty::BoundVar(0).cast()], }; let impl_datum_bound = chalk_rust_ir::ImplDatumBound { - trait_ref: chalk_rust_ir::PolarizedTraitRef::Positive(trait_ref), + trait_ref, where_clauses: Vec::new(), associated_ty_values: Vec::new(), + }; + let impl_datum = ImplDatum { + binders: make_binders(impl_datum_bound, 1), impl_type: chalk_rust_ir::ImplType::External, + polarity: chalk_rust_ir::Polarity::Positive, }; - let impl_datum = ImplDatum { binders: make_binders(impl_datum_bound, 1) }; Arc::new(impl_datum) } @@ -713,12 +720,15 @@ fn closure_fn_trait_impl_datum( let impl_type = chalk_rust_ir::ImplType::External; let impl_datum_bound = chalk_rust_ir::ImplDatumBound { - trait_ref: chalk_rust_ir::PolarizedTraitRef::Positive(trait_ref.to_chalk(db)), + trait_ref: trait_ref.to_chalk(db), where_clauses: Vec::new(), associated_ty_values: vec![output_ty_value], + }; + let impl_datum = ImplDatum { + binders: make_binders(impl_datum_bound, num_args as usize + 1), impl_type, + polarity: chalk_rust_ir::Polarity::Positive, }; - let impl_datum = ImplDatum { binders: make_binders(impl_datum_bound, num_args as usize + 1) }; Some(Arc::new(impl_datum)) } -- cgit v1.2.3