Haven't even looked at Rust code until just now, but yes, that looks like a more formalized version of this idea. Interesting!