Function instantiate_type_invariant 

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

Create a property from a type invariant entry, substituting the parameter name.