Naive method temp type checking implementation