3 ms·

i was very careful to use the vague phrasing "features dealing with these problems" and not "Ada has a borrow checker and dependent types".