Use Type::type_form helper to save a few characters

Reviewed By: yangdanny97

Differential Revision: D67616171

fbshipit-source-id: 09668a433852e3415d21b2a32f8063af45683f75

Author: rchen152

pyre2/pyre2/bin/alt/classes.rs

@@ -476,10 +476,10 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
     /// Creates a type from the class with fresh variables for its type parameters.
     pub fn instantiate_fresh(&self, cls: &Class) -> Type {
         let qs = cls.tparams().quantified().collect::<Vec<_>>();
-        let promoted_cls = Type::Type(Box::new(Type::ClassType(ClassType::new(
+        let promoted_cls = Type::type_form(Type::ClassType(ClassType::new(
             cls.dupe(),
             TArgs::new(qs.map(|q| Type::Quantified(*q))),
-        ))));
+        )));
         self.solver()
             .fresh_quantified(qs.as_slice(), promoted_cls, self.uniques)
             .1

pyre2/pyre2/bin/alt/expr.rs

@@ -505,7 +505,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
             return ret;
         }
         let overrides_new = if let Some(new_method) = self.get_new(&cls) {
-            let cls_ty = Type::Type(Box::new(instance_ty.clone()));
+            let cls_ty = Type::type_form(instance_ty.clone());
             let mut full_args = vec![CallArg::Type(&cls_ty, range)];
             full_args.extend_from_slice(args);
             let ret = self.call_infer(

pyre2/pyre2/bin/alt/specials.rs

@@ -130,7 +130,7 @@ impl<'a, Ans: LookupAnswer> AnswersSolver<'a, Ans> {
                 ),
             ),
             SpecialForm::Type if arguments.len() == 1 => {
-                Type::type_form(Type::Type(Box::new(self.expr_untype(&arguments[0]))))
+                Type::type_form(Type::type_form(self.expr_untype(&arguments[0])))
             }
             SpecialForm::Type => self.error(
                 range,