use erg_compiler::context::Context;

#[test]
fn test_subtyping() -> Result<(), ()> {
    let context = Context::new_root_module();
    context.test_refinement_subtyping()?;
    Ok(())
}

#[test]
fn test_resolve_trait() -> Result<(), ()> {
    let context = Context::new_root_module();
    context.test_resolve_trait()?;
    Ok(())
}

#[test]
fn test_resolve_trait_inner1() -> Result<(), ()> {
    let context = Context::new_root_module();
    context.test_resolve_trait_inner1()?;
    Ok(())
}