The restrictions from RFC 1445 are not mentioned anywhere. Given that #[structural_match] is not intended for stabilization, the reference should avoid mentioning it, and instead mention that a type is eligible if and only if either it is a magic standard-library type or derives PartialEq and Eq and all fields are eligible.