KotlinIsland

stubgen is low level and requires a bunch of manual steps moving files around.

So in the example in the OP the use case is: import something that only exists in the type realm, and safely define a backup. This use case would probably...

You can currently provide partial stubs, and when using an member that isn't in the stub you get the error in the OP, are you suggesting that if the stub...

> Yes, or something like "incomplete stub does not contain definition for requests.model.PreparedRequest" I don't like the sound of this, if you are removing all of the stub except for...

> I guess that could be worked around, eg. using a different file extension so any IDE that doesn't understand the partial stubs will ignore them. Presumably, IDE completion is...

> Monkey patching seems to usually refer to making changes at runtime, presumably that isn't what you mean here. This feature is to statically type monkey patched members, so that...

> > It should respect the config options the baseline was created with, not just the targets. > > Is that so it doesn't remove errors from the baseline when...

@Zeckie > Shouldn't that `intersection` be `union` An overload's return type is typesafe as an intersection of the signatures rather than a union (which is unsafe): ```py class A: a:...

> Isn't it that the return type needs to include (eg. using a Union) a type that is the same as, or overlaps the return type of each overload That...

Any expression errors are so common, this would help a lot.