Property A.Default.t will become invisible after extraction