trick to make spotBugs find missing assertions when using SoftAssertions ?

[vincent-fuchs]

Feature summary

Spotbugs (4.7.3.6) correctly identifies missing assertions, as documented in https://assertj.github.io/doc/#forgetting-to-call-an-assertion

Is there a way to have the same behavior when using SoftAssertions ?

Example

@ExtendWith(SoftAssertionsExtension.class)
public class TmpTest {
	@InjectSoftAssertions
	protected SoftAssertions softly;

	@Test
	void demoTest() {

		List aList = List.of("a", "b");

		// correctly detected by Spotbugs
		assertThat(aList.contains("a"));

		// incorrectly detected by Spotbugs
		softly.assertThat(aList.contains("a"));
	}
}

[scordio]

Could this be caused by the fact that @CheckReturnValue is currently applied to StandardSoftAssertionsProvider but it's not annotated as @Inherited?