You are an expert in writing code in many different languages. Your goal is to perform code completion for the following code, keeping in mind the rest of the code and the file meta data.
    Metadata details:
    filename: constructor_type.rs
    path of file: ./repos/tools/crates/rome_js_formatter/src/ts/types
    
    the code of the file until where you have to start completion: use crate::prelude::*;

use crate::parentheses::NeedsParentheses;
use crate::ts::types::function_type::function_like_type_needs_parentheses;
use rome_formatter::write;
use rome_js_syntax::TsConstructorTypeFields
    
    fn needs_parentheses() {
        assert_needs_parentheses!("type s = (new () => string)[]", TsConstructorType);

        assert_needs_parentheses!("type s = unique (new () => string);", TsConstructorType);

        assert_needs_parentheses!(
            "type s = [number, ...(new () => string)]",
            TsConstructorType
        );
        assert_needs_parentheses!("type s = [(new () => string)?]", TsConstructorType);

        assert_needs_parentheses!("type s = (new () => string)[a]", TsConstructorType);
        assert_not_needs_parentheses!("type s = a[new () => string]", TsConstructorType);

        assert_needs_parentheses!("type s = (new () => string) & b", TsConstructorType);
        assert_needs_parentheses!("type s = a & (new () => string)", TsConstructorType);

        // This does require parentheses but the formatter will strip the leading `&`, leaving only the inner type
        // thus, no parentheses are required
        assert_not_needs_parentheses!("type s = &(new () => string)", TsConstructorType);

        assert_needs_parentheses!("type s = (new () => string) | b", TsConstructorType);
        assert_needs_parentheses!("type s = a | (new () => string)", TsConstructorType);
        assert_not_needs_parentheses!("type s = |(new () => string)", TsConstructorType);

        assert_needs_parentheses!(
            "type s = (new () => string) extends string ? string : number",
            TsConstructorType
        );
        assert_not_needs_parentheses!(
            "type s = A extends string ? (new () => string) : number",
            TsConstructorType
        );
        assert_not_needs_parentheses!(
            "type s = A extends string ? string : (new () => string)",
            TsConstructorType
        )
    }