compiler/rustc_ast_pretty/src/pprust/tests.rs

use rustc_ast as ast;
use rustc_span::{DUMMY_SP, Ident, create_default_session_globals_then};
use thin_vec::{ThinVec, thin_vec};

use super::*;

fn fun_to_string(
    decl: &ast::FnDecl,
    header: ast::FnHeader,
    ident: Ident,
    generics: &ast::Generics,
) -> String {
    to_string(|s| {
        let (cb, ib) = s.head("");
        s.print_fn(decl, header, Some(ident), generics);
        s.end(ib);
        s.end(cb);
    })
}

fn variant_to_string(var: &ast::Variant) -> String {
    to_string(|s| s.print_variant(var))
}

fn ty_to_string(ty: &ast::Ty) -> String {
    to_string(|s| {
        s.print_type(ty);
    })
}

#[test]
fn test_fun_to_string() {
    create_default_session_globals_then(|| {
        let abba_ident = Ident::from_str("abba");

        let decl = ast::FnDecl { inputs: ThinVec::new(), output: ast::FnRetTy::Default(DUMMY_SP) };
        let generics = ast::Generics::default();
        assert_eq!(
            fun_to_string(&decl, ast::FnHeader::default(), abba_ident, &generics),
            "fn abba()"
        );
    })
}

#[test]
fn test_variant_to_string() {
    create_default_session_globals_then(|| {
        let ident = Ident::from_str("principal_skinner");

        let var = ast::Variant {
            ident,
            vis: ast::Visibility { span: DUMMY_SP, kind: ast::VisibilityKind::Inherited },
            attrs: ast::AttrVec::new(),
            id: ast::DUMMY_NODE_ID,
            data: ast::VariantData::Unit(ast::DUMMY_NODE_ID),
            disr_expr: None,
            span: DUMMY_SP,
            is_placeholder: false,
        };

        let varstr = variant_to_string(&var);
        assert_eq!(varstr, "principal_skinner");
    })
}

#[test]
fn test_field_view() {
    create_default_session_globals_then(|| {
        let ty = ast::Ty {
            id: ast::DUMMY_NODE_ID,
            kind: ast::TyKind::View(
                Box::new(ast::Ty {
                    id: ast::DUMMY_NODE_ID,
                    kind: ast::TyKind::Dummy,
                    span: DUMMY_SP,
                }),
                thin_vec![Ident::from_str("milhouse"), Ident::from_str("apu")],
            ),
            span: DUMMY_SP,
        };

        let ty_str = ty_to_string(&ty);
        assert_eq!(ty_str, "(/*DUMMY*/).{ milhouse, apu }");
    });
}