Fixed type resolving test