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