Request: add inspection for replacing nullable/non-nullable parameter of functions, when it seems it's used as such

[AndroidDeveloperLB]

For example:

fun foo(someInt:Int?){
  val temp=someInt!!.toString()
  ...
}

This means that the parameter is actually supposed to be non-null, because it would cause a crash otherwise.
This also helps the IDE to detect bad usages from outside the function.

As for the opposite, not sure if it's needed (non-null parameter, which is treated as if it's nullable), but maybe for Java it's useful.

If this is too hard, I've also requested on IntelliJ:
https://youtrack.jetbrains.com/issue/IDEA-309644/Request-add-inspection-for-replacing-nullable-non-nullable-parameter-of-functions-when-it-seems-its-used-as-such