How should nullability work?

[ZacSweers]

The design doc discussion was split between

1. Treat String and String? as distinct keys
2. Special-case nullability to say that String can satisfy a String? binding but not the other way around
   • and if an injection is nullable and no binding exists, do you inject null or do you say no binding available (i.e. null vs absence comes back)?
3. Continue not allowing null

[ZacSweers]

Another angle is generics. List<String?> shouldn't be able to satisfy List<String>, but should the reverse work? That feels like a harder sell. Worse when you include variance. This makes me feel inclined to lean toward option 1.