pub fn loop_variant_ty() -> Expr
LoopVariant: the variant expression for a while loop (must decrease). Type: Type