Function check_method_call 

async fn check_method_call<'db>(
    env: &mut Env<'db>,
    live_after: LivePlaces,
    id_span: Span<'db>,
    expr_span: Span<'db>,
    function: SymFunction<'db>,
    self_expr: Option<SymExpr<'db>>,
    ast_args: &[AstExpr<'db>],
    generics: Option<SpanVec<'db, AstGenericTerm<'db>>>,
    temporaries: Vec<Temporary<'db>>,
) -> ExprResult<'db>

Check a call like a.b() where b is a method. These are somewhat different than calls like b(a) because of how type arguments are handled.