/test/472-type-propagation/src/
../
Main.java