How I’m building float layout in Servo layout 2020: Going down the list of rules in , converting them to predicates, and then running them through QuickCheck (randomized testing). I’m not a fanatic about type-based testing, but this is a perfect use case.