src/Tools/Code/code_scala.ML

             val (bind :: binds, body) = Code_Thingol.unfold_let (ICase case_expr);
             fun print_match_val ((pat, ty), t) vars =
               vars
               |> print_bind tyvars some_thm BR pat
               |>> (fn p => (false, concat [str "val", p, str "=",
-                constraint (print_term tyvars false some_thm vars NOBR t) (print_typ tyvars NOBR ty)]));
+                constraint (print_term tyvars false some_thm vars NOBR t) (print_typ tyvars BR ty)]));
             fun print_match_seq t vars =
               ((true, print_term tyvars false some_thm vars NOBR t), vars);
             fun print_match is_first ((IVar NONE, ty), t) =
                   if Code_Thingol.is_IAbs t andalso is_first
                     then print_match_val ((IVar NONE, ty), t)

                 (concat ([str "trait", (add_typarg o deresolve_class) class]
                   @ the_list (print_super_classes classrels) @ [str "{"]), str "}")
                 (map print_classparam_val classparams))
               :: map print_classparam_def classparams
               @| Pretty.block_enclose
-                (str ("object " ^ deresolve_class class ^ "{"), str "}")
+                (str ("object " ^ deresolve_class class ^ " {"), str "}")
                 (map (print_inst class) insts)
             )
           end;
   in print_stmt end;