Require inheritdoc tag to be non-empty.

This commit is contained in:
chriseth
2020-08-04 12:13:23 +02:00
parent f079efe28c
commit 0ea5aae9aa
2 changed files with 17 additions and 0 deletions
@@ -0,0 +1,7 @@
contract C {
/// @inheritdoc
function f() internal {
}
}
// ----
// DocstringParsingError 1933: (17-32): Expected contract name following documentation tag @inheritdoc.