Function rebind_property_arg 

fn rebind_property_arg<'tcx>(
    arg: &mut PropertyArg<'tcx>,
    args: &[Operand<'tcx>],
    callee_args: &GenericArgs<'tcx>,
    body: &Body<'tcx>,
) -> bool