# Unstable features

In general, unstable Rust features are out of scope and any support
for them available in Kani should be considered unstable as well.

The following are examples of unstable features that are not supported
in Kani:
 * Generators
 * C-variadics