UPDATE: For the particular case I’ve been working with, replacing one is_constant() in my pattern with wildcard() allowed me to avoid the need for running constant folding before pattern matching. So for now, I’m unblocked.
But I still wonder if is realistic not to support Constant at all in a BYOC codegen…