@_noAllocation func foo() -> Int { return [1,2,3].randomElement()! } fails with "error: Using type 'Int' can cause metadata allocation or locks"

but

@_noAllocation func foo() -> Int { return 1 + 2 + 3 }

compiles fine.