Port check_match from oldvisit to @Visitor trait object API.
Port const_eval from oldvisit to @Visitor trait object API.