From 693582946fae1813627ad59f60a31c9237e98744 Mon Sep 17 00:00:00 2001 From: Florian Diebold Date: Sat, 1 May 2021 21:53:10 +0200 Subject: Rewrite coercion using the new unification --- crates/hir_ty/src/builder.rs | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) (limited to 'crates/hir_ty/src/builder.rs') diff --git a/crates/hir_ty/src/builder.rs b/crates/hir_ty/src/builder.rs index e25ef866d..49d069541 100644 --- a/crates/hir_ty/src/builder.rs +++ b/crates/hir_ty/src/builder.rs @@ -77,15 +77,7 @@ impl TyBuilder<()> { } pub fn fn_ptr(sig: CallableSig) -> Ty { - TyKind::Function(FnPointer { - num_binders: 0, - sig: FnSig { abi: (), safety: Safety::Safe, variadic: sig.is_varargs }, - substitution: FnSubst(Substitution::from_iter( - &Interner, - sig.params_and_return.iter().cloned(), - )), - }) - .intern(&Interner) + TyKind::Function(sig.to_fn_ptr()).intern(&Interner) } pub fn builtin(builtin: BuiltinType) -> Ty { -- cgit v1.2.3