@notUndefined attribute for abstract types #6712

Job	Run time
build-rewatch (macos-13, x86_64-apple-darwin, darwin-x64)	14s
build-compiler (ubuntu-24.04, ocaml-variants.5.3.0+options,ocaml-option-static, true, true, linux...	1m 36s
build-rewatch (macos-14, aarch64-apple-darwin, darwin-arm64)	12s
build-compiler (ubuntu-24.04-arm, ocaml-variants.5.3.0+options,ocaml-option-static, true, true, t...	4m 3s
build-rewatch (ubuntu-24.04, x86_64-unknown-linux-musl, linux-x64)	12s
build-compiler (macos-13, 5.3.0, true, darwin-x64)	4m 36s
build-rewatch (ubuntu-24.04-arm, aarch64-unknown-linux-musl, linux-arm64)	16s
build-compiler (macos-14, 5.3.0, true, darwin-arm64)	3m 0s
build-rewatch (windows-latest, x86_64-pc-windows-gnu, win32-x64)	20s
build-compiler (windows-latest, 5.3.0, true, win32-x64)	3m 8s
build-compiler (ubuntu-24.04, ocaml-variants.5.2.1+options,ocaml-option-static)	2m 22s
build-compiler (ubuntu-24.04, ocaml-variants.5.0.0+options,ocaml-option-static)	1m 53s
build-compiler (ubuntu-24.04, ocaml-variants.4.14.2+options,ocaml-option-static)	2m 17s
pkg-pr-new	1s
installationTest	1s
publish	1s
	24m 12s

Provide feedback