Function primitive_property 

fn primitive_property<'tcx>(
    property: &Property<'tcx>,
    kind: PropertyKind,
) -> Property<'tcx>

Reuse the original arguments while checking one primitive component.