As anchored types into locals is not permitted, why does the compiler allow it? I always forget the forbidden anchored types in my duty... its too intuitive to think about it...