Add one more test case and doc comments
Passed
Frederik Hennig
created pipeline for commit
c0f2fb54
, finished
1 related merge request: !372 Fix handling of constness in Typifier
3 minutes 5 seconds, queued for 2 seconds