/src/test/ui/dest-prop/