code: final TypeInferencePass makeTypeInference(AbstractCompiler compiler) {
      return new TypeInferencePass(
          compiler, compiler.getReverseAbstractInterpreter(),
          topScope, typedScopeCreator);
    }
docs: Create a type inference pass.