src/test/ui/hrtb/hrtb-exists-forall-trait-invariant.nll.stderr - toolchain/rustc - Git at Google

 error: higher-ranked subtype error
   --> $DIR/hrtb-exists-forall-trait-invariant.rs:28:5
    |
 LL |     foo::<()>();
    |     ^^^^^^^^^^^

 error: aborting due to previous error
	error: higher-ranked subtype error
	--> $DIR/hrtb-exists-forall-trait-invariant.rs:28:5
	\|
	LL \| foo::<()>();
	\| ^^^^^^^^^^^

	error: aborting due to previous error