The goal of this feature is to support annotations on functions, such as the following:
@ghost
fn f(x:u32) -> (y:u32) {
...
}
The key is that we need a way to define annotations somehow. It could be that, initially, we simply have some built-in annotations. However, eventually we might want the ability to add custom annotations, such as with arguments, etc.
The goal of this feature is to support annotations on functions, such as the following:
The key is that we need a way to define annotations somehow. It could be that, initially, we simply have some built-in annotations. However, eventually we might want the ability to add custom annotations, such as with arguments, etc.