Function receiver_matches_param 

fn receiver_matches_param<'gcx>(
    gcx: Gcx<'gcx>,
    hir: &Hir<'gcx>,
    receiver: &Expr<'gcx>,
    param: VariableId,
) -> bool