Implicit construction of static_pattern