1 @import recursive_visibility_b; 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