Reverse-turbofish paths like <_>::default are currently known as qualified paths, or QPaths. I've always found this terminology pretty confusing, because a type doesn't seem like a more qualifierer qualifier than crate:: or super::. I wonder if there's a better name for this production... Or are other folks happy with this naming?