// check-pass#![feature(inherent_associated_types)]#![allow(incomplete_features)]structS<T>(T);impl<T>S<T>{typeP=T;}impl<T>S<(T,)>{typeUn=T;}fnmain(){// Regression test for issue #104240.typeA=S<()>::P;let_: A=();// Regression test for issue #107468.let_: S<(i32,)>::Un=0i32;}