fn extract_node_id(t: &Ty) -> Option<NodeId>