@notUndefined attribute for abstract types #6713

Job	Run time
build-compiler (ubuntu-24.04, ocaml-variants.5.3.0+options,ocaml-option-static, true, true, linux...	1m 46s
build-compiler (ubuntu-24.04-arm, ocaml-variants.5.3.0+options,ocaml-option-static, true, true, t...	3m 18s
build-rewatch (macos-13, x86_64-apple-darwin, darwin-x64)	17s
build-compiler (macos-13, 5.3.0, true, darwin-x64)	5m 25s
build-rewatch (macos-14, aarch64-apple-darwin, darwin-arm64)	9s
build-compiler (macos-14, 5.3.0, true, darwin-arm64)	2m 16s
build-rewatch (ubuntu-24.04, x86_64-unknown-linux-musl, linux-x64)	11s
build-compiler (windows-latest, 5.3.0, true, win32-x64)	3m 15s
build-rewatch (ubuntu-24.04-arm, aarch64-unknown-linux-musl, linux-arm64)	16s
build-compiler (ubuntu-24.04, ocaml-variants.5.2.1+options,ocaml-option-static)	1m 53s
build-rewatch (windows-latest, x86_64-pc-windows-gnu, win32-x64)	20s
build-compiler (ubuntu-24.04, ocaml-variants.5.0.0+options,ocaml-option-static)	1m 54s
build-compiler (ubuntu-24.04, ocaml-variants.4.14.2+options,ocaml-option-static)	2m 1s
pkg-pr-new	50s
installationTest (macos-13, darwin-x64)	30s
installationTest (macos-14, darwin-arm64)	15s
installationTest (ubuntu-24.04, linux-x64)	13s
installationTest (ubuntu-24.04-arm, linux-arm64)	26s
installationTest (windows-latest, win32-x64)	1m 12s
publish	0s
	26m 27s

Provide feedback