Make inferred-Realization test use distinct types
Make inferred-Realization test use distinct types


Former-commit-id: b29877851c16b7c3c37fb8266f3adfa5df7bff51
Trass3r/Halide,Trass3r/Halide,Trass3r/Halide,Trass3r/Halide,darkbuck/Halide,darkbuck/Halide,Trass3r/Halide,darkbuck/Halide,Trass3r/Halide,darkbuck/Halide,darkbuck/Halide,darkbuck/Halide,Trass3r/Halide,darkbuck/Halide