generic-tag-values fails #261
Description
rt: 9741:main:main: rust: test/run-pass/generic-tag-values.rs:10:10:10:23: error: mismatched types: expected int but found P0:1 (types differ)
{{ message }}
rt: 9741:main:main: rust: test/run-pass/generic-tag-values.rs:10:10:10:23: error: mismatched types: expected int but found P0:1 (types differ)