On Thu Oct 19 13:35:46 2023 +0000, Francisco Casas wrote:
I see. So the `probe` part may be deserving of a `todo(sm<4)`. I made patches for that on the second part of !418, but I think that for now it is okay to leave the requirement.
Oh no, you are right, compiling with the native compiler and running on Windows we get those broken results, so it is not a problem of the compiler itself.