Profiles should (hopefully) rein this in by getting people to start subsetting language features in their codebases

Let's see, they are still a bit of a dream regarding what they wish for, and what current static analysers can achieve, especially the lifetime one.

	▲	uecker 5 hours ago \| parent [-]
		I was thinking for implementing borrow-checker like rules for C but after I have seen what SMT solver can do I think it is not necessary to constrain the language in this way.