Archived tweet #9504 from the @leastfixedpoint Twitter Archive

RT @aatxe: I wrote a thing about reasoning with types in @rustlang! Would love to get feedback since I'm also thinking about trying to turn…