Function remap_constructor_contract 

fn remap_constructor_contract<'tcx>(property: Property<'tcx>) -> Property<'tcx>