1 @import recursive_visibility_b;
g()2 template<template<typename T> class Y> void g() {
3   f(typename Y<A1_Inner::X>::type{});
4   f(typename Y<A2_More_Inner::X>::type{});
5 }
6