Pretty solid motivation for anyone who tries to tackle the browser market (a task I envy noone for) to go with a language like Rust. Inherent advantages + the incumbents can't get it to work internally.
I don't know there's a "browser market". As it is, I think the existing code bases are better served by gradually employing C/C++ verification and invariant checking tools. And not make the web any more complicated than it already is without a need (other than to maintain a browser cartel, that is).
Bad news, barely anyone is even thinking about it. There are one or two players that are trying to build a new browser from scratch, but they are far from mainstream and nobody knows how long these efforts will exist.
