/test/472-type-propagation/