Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/next_solver/ty.rs')
| -rw-r--r-- | crates/hir-ty/src/next_solver/ty.rs | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/crates/hir-ty/src/next_solver/ty.rs b/crates/hir-ty/src/next_solver/ty.rs index ee460aff44..c89831bd40 100644 --- a/crates/hir-ty/src/next_solver/ty.rs +++ b/crates/hir-ty/src/next_solver/ty.rs @@ -696,9 +696,12 @@ impl<'db> Ty<'db> { // This is only used by type walking. // Parameters will be walked outside, and projection predicate is not used. // So just provide the Future trait. - let impl_bound = - TraitRef::new(interner, future_trait.into(), GenericArgs::empty(interner)) - .upcast(interner); + let impl_bound = TraitRef::new_from_args( + interner, + future_trait.into(), + GenericArgs::empty(interner), + ) + .upcast(interner); Some(vec![impl_bound]) } else { None |