inferLiteral