Set silver submodule to 95e6bf09b86b74810321dab5e2eefeed9af1f0ad [ski… · viper-admin/carbon@bcd99b0

Commit

Set silver submodule to 95e6bf09b86b74810321dab5e2eefeed9af1f0ad [ski…

…p ci]

Silver Bot committed Jul 19, 2023

1 parent 07fc66e commit bcd99b0

+20 −16		src/main/scala/viper/silver/parser/FastParser.scala
+5 −4		src/main/scala/viper/silver/parser/Resolver.scala
+2 −2		src/test/resources/adt/declarations_2.vpr
+1 −1		src/test/resources/adt/declarations_5.vpr
+2 −1		src/test/resources/all/basic/let_consistency_resolver.vpr
+4 −4		src/test/resources/all/issues/silver/0027.vpr
+2 −2		src/test/resources/all/issues/silver/0048.vpr
+2 −1		src/test/resources/all/issues/silver/0050.vpr
+1 −1		src/test/resources/all/issues/silver/0105-1.vpr
+1 −1		src/test/resources/all/issues/silver/0105.vpr
+1 −1		src/test/resources/all/issues/silver/0473.vpr
+8 −0		src/test/resources/all/parsing/typed_call_ambig.vpr
+2 −1		src/test/resources/wands/regression/consistency_let_resolver.vpr