I think that it's actually something like the opposite of that. Rune disallows conditional branching on secrets, which would imply that passing secrets into the

I think that it's actually something like the opposite of that. Rune disallows conditional branching on secrets, which would imply that passing secrets into the subset of functions defined on non-secrets that branch control flow based on an argument's value would be a compiler error.