// Basic test for typedef stripping in diagnostics.struct A {voidf();};void A::f() {// We don't want an aka for the injected-class-name.
A a =0;// { dg-error "type .A. requested" }}typedef A B;// We do want an aka for a real typedef.
B b =0;// { dg-error "B .aka A." }