René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Fuzzer ignores generics of `class StringMap extends HashMap\u003cString, String\u003e`","articleBody":"**Description**\r\n\r\nFuzzer tries to put arbitrary `Objects` into `StringMap`\r\n\r\n**To Reproduce**\r\n\r\n* Set fuzzing to `100%`\r\n* Generate tests for the following class\r\n\r\n```java\r\npublic class StringMap extends HashMap\u003cString, String\u003e {\r\n    public String getAnyString() {\r\n        return keySet().iterator().next();\r\n    }\r\n}\r\n```\r\n\r\n**Expected behavior**\r\n\r\nThere's one passing and one failing test.\r\n\r\n**Actual behavior**\r\n\r\nNo passing tests are generated, one of the tests fails to compile with the following error: \"incompatible types: `Object` cannot be converted to `String` `stringMap.put(object, object1);`\".\r\n\r\n**Visual proofs (screenshots, logs, images)**\r\n\r\n```java\r\n/**\r\n * @utbot.classUnderTest {@link StringMap}\r\n * @utbot.methodUnderTest {@link StringMap#getAnyString()}\r\n */\r\n@Test\r\n@DisplayName(\"getAnyString:  -\u003e throw ClassCastException\")\r\npublic void testGetAnyStringThrowsCCE() {\r\n    StringMap stringMap = new StringMap();\r\n    Object object = new Object();\r\n    Object object1 = new Object();\r\n    stringMap.put(object, object1);\r\n    \r\n    /* This test fails because method [org.example.StringMap.getAnyString] produces [java.lang.ClassCastException: class java.lang.Object cannot be cast to class java.lang.String (java.lang.Object and java.lang.String are in module java.base of loader 'bootstrap')]\r\n        org.example.StringMap.getAnyString(StringMap.java:7) */\r\n    stringMap.getAnyString();\r\n}\r\n```\r\n","author":{"url":"https://github.com/IlyaMuravjov","@type":"Person","name":"IlyaMuravjov"},"datePublished":"2023-08-31T10:36:09.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":4},"url":"https://github.com/2571/UTBotJava/issues/2571"}