Updated a codegen test such that it will pass the typecheck with the most recent typechecker changes made