It’s pretty standard in many places I think - the point here is not the null gc but rather exact memory requirements being proved statically.