the suggested solution seems to amount to 'functionally copyleft' for software distributions using the Rust name/trademark(s), and permissive licensing as normal in all other cases

sounds like a good solution to me, perhaps some concern about definition edge-cases

Yes, it does seem like the right solution. But honestly, why can’t these jokers read the terms of the existing license(s) and create a trademark license which doesn’t conflict with them?