Introduce the extension test 2, limits of type detection