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