using Microsoft.CodeAnalysis;
using Microsoft.CodeAnalysis.VisualBasic;
using Microsoft.CodeAnalysis.VisualBasic.Syntax;

static async Task Main(string[] args)
{
    var refApis = AppDomain.CurrentDomain.GetAssemblies()
    .Where(a => !a.IsDynamic)
    .Select(a => MetadataReference.CreateFromFile(a.Location));

    var tree = SyntaxFactory.ParseSyntaxTree("""
Class C
    Sub S()
        Dim o As C = New C()
    End Sub
End Class
""");
    var compilation = VisualBasicCompilation.Create("something", [tree], refApis);
    var semantic = compilation.GetSemanticModel(tree);

    var root = (CompilationUnitSyntax)await tree.GetRootAsync();
    var C = (ClassBlockSyntax)root.Members.First();
    var S = (MethodBlockSyntax)C.Members.First();
    var decla = (LocalDeclarationStatementSyntax)S.Statements[0];
    var decl = decla.Declarators[0];
    var asClause = decl.AsClause;
    var objectCreation = (ObjectCreationExpressionSyntax)decl.Initializer.Value;

    var t1 = semantic.GetTypeInfo(asClause.Type()).Type;
    var t2 = semantic.GetTypeInfo(objectCreation.Type).Type;
    var t3 = semantic.GetSpeculativeTypeInfo(objectCreation.Type.SpanStart, objectCreation.Type, SpeculativeBindingOption.BindAsTypeOrNamespace).Type;

    Debug.Assert(t2 is not null); // fails
    Debug.Assert(t1 == t2); // fails
    Debug.Assert(t1 == t3);
}