A15-4-4: Ignore results on uninstantiated templates#416
Merged
nicolaswill merged 2 commits intomainfrom lcartey/a15-4-4-fix-noexceptDec 6, 2023
+18-2
A15-4-4: Ignore results on uninstantiated templates#416