diff options
| author | Florian Diebold <[email protected]> | 2021-04-07 19:47:04 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-04-07 19:47:04 +0100 |
| commit | d1b645d2360fb6e74aaa774ff713af02f685a110 (patch) | |
| tree | 338d5e5fb998a6cec35cf3d4c89bfbfe70c2f89f /crates/hir | |
| parent | 9b4ecd3723c0184706d1276759846ebf3fdff944 (diff) | |
Make Canonical::new a free-standing function
Diffstat (limited to 'crates/hir')
| -rw-r--r-- | crates/hir/src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/hir/src/lib.rs b/crates/hir/src/lib.rs index f5cb7a4df..7ac9118fa 100644 --- a/crates/hir/src/lib.rs +++ b/crates/hir/src/lib.rs | |||
| @@ -1808,7 +1808,7 @@ impl Type { | |||
| 1808 | .push(self.ty.clone()) | 1808 | .push(self.ty.clone()) |
| 1809 | .fill(args.iter().map(|t| t.ty.clone())) | 1809 | .fill(args.iter().map(|t| t.ty.clone())) |
| 1810 | .build(); | 1810 | .build(); |
| 1811 | let goal = Canonical::new( | 1811 | let goal = hir_ty::make_canonical( |
| 1812 | InEnvironment::new( | 1812 | InEnvironment::new( |
| 1813 | self.env.env.clone(), | 1813 | self.env.env.clone(), |
| 1814 | AliasEq { | 1814 | AliasEq { |