cor3ntin wrote: CC @zygoloid In the proposed resolution, i do not understand why `B* bp = n2p;` should be ill-formed by virtue of being declared in `P2` https://github.com/llvm/llvm-project/pull/67948