fn member_ty<'hir>( gcx: Gcx<'hir>, hir: &'hir Hir<'hir>, base: &'hir Expr<'hir>, member_name: Symbol, ) -> Option<Ty<'hir>>