Default Main Actor isolation and protocol inheritance

[hborla (Holly Borla)]

Thank you for the report! I agree that this is a compiler bug, and a main actor isolated conformance should be inferred through protocol refinement.