1 2 3 4 5 6 7 8 9 10 11
// Reject wrong type string(); nullary(""); ui.nullary(""); // Reject wrong interface wrong.nullary(); // Reject wrong package ui:another/ui.nullary(); other:tests/ui.nullary(); // Reject wrong version ui:tests/ui.string@0.0.0("");