julia

inference: limit single-level nested `Type` signature

#40379

Merged