# @MappingTarget on a record compiles, with unmappedTargetPolicy = ERROR, and generates this

$ javac -d target/broken/update-record -s target/broken/update-record -cp $MAPSTRUCT_JAR -processorpath $MAPSTRUCT_PROCESSOR_JAR src/broken/update-record/*.java
(exit status: 0)

$ cat target/broken/update-record/BrokenMapperImpl.java   (header and imports trimmed)
public class BrokenMapperImpl implements BrokenMapper {

    @Override
    public void update(BrokenMapper.Patch patch, BrokenMapper.Dst target) {
        if ( patch == null ) {
            return;
        }
    }
}