Distill item type annotations in check mode

Author: brendanzab

fathom/src/surface/distillation.rs

@@ -131,7 +131,7 @@ impl<'interner, 'arena, 'env> Context<'interner, 'arena, 'env> {
                 r#type,
                 expr,
             } => {
-                let r#type = scope.to_scope(self.synth(r#type));
+                let r#type = scope.to_scope(self.check(r#type));
                 let expr = scope.to_scope(self.check(expr));
 
                 Item::Def(ItemDef {

tests/succeed/distillation/fresh-names.snap

@@ -1,5 +1,5 @@
 stdout = '''
-def a : () : Type = ();
+def a : () = ();
 def const1 : fun (@A : Type) (@B : Type) -> A -> B -> A =
 fun @b @c x y => let x1 : b = x;
 let y1 : c = y;