Function instantiate_type_invariant 

fn instantiate_type_invariant<'tcx>(
    tcx: TyCtxt<'tcx>,
    def_id: DefId,
    entry: &JsonProperty,
    param_name: &str,
    elem_ty: Option<Ty<'tcx>>,
) -> Vec<Property<'tcx>>

Create properties from a type invariant entry, substituting the parameter name (and, for the slice entry, the element type). An entry with an any field expands to a single disjunctive Property::Or; otherwise it yields the properties denoted by its tag.