Redirecting to ../../../syn/visit/fn.visit_pat_type.html...