I generally agree, but I would like to add the following:
- The proposed mechanism should be general enough, e.g. it should allow the
winapi
/windows-*
crates to specify that they can work only on Windows targets. - I think conditionally allowing
From<u32> for usize
impl looks somewhat similar to this proposal. It would be nice to have the same tooling for both these usecases. - We will need a rough outline of how the defaults would change in future editions. I don't think we should make the "not-CHERI" condition a default one, i.e. crates should have to explicitly opt out of CHERI support.