pub fn const_witness<'c>(
    context: &'c Context,
    result: Type<'c>,
    passing: Attribute<'c>,
    location: Location<'c>
) -> ConstWitnessOperation<'c>
Expand description

Creates a const_witness operation.