test fixed (now printer shows type variance)