https://godbolt.org/z/r1GbWfz9M
This is accepted currently in miri, but environ conflicts with miri static shim so it should be rejected. The problem is that the map of symbol to shim is not unified and there are multiple maps, so in this case environ is not detected as a shim and so the check_shim_symbol_clash logic doesn't kick in.
https://godbolt.org/z/r1GbWfz9M
This is accepted currently in miri, but environ conflicts with miri static shim so it should be rejected. The problem is that the map of symbol to shim is not unified and there are multiple maps, so in this case environ is not detected as a shim and so the
check_shim_symbol_clashlogic doesn't kick in.