pub fn intr_ptr_annotation<'c>(
context: &'c Context,
res: Type<'c>,
ptr: Value<'c, '_>,
annotation: Value<'c, '_>,
file_name: Value<'c, '_>,
line: Value<'c, '_>,
attr: Value<'c, '_>,
location: Location<'c>
) -> PtrAnnotationOperation<'c>
Expand description
Creates an intr.ptr.annotation
operation.