The inferred type of "X" cannot be named without a reference to "Y". This is likely not portable. A type annotation is necessary. #6032