fix another bug in required type visitor
oops, fix description
rename method to eliminate collision