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.