Function kind

Source
pub fn kind<'tcx>(current_ty: Ty<'tcx>) -> TyKind