Function semantic_index_ty 

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